Merge pull request #1799 from FluxML/logankilpatrick-patch-7

Only add PR comment with docs build if the docs label is added

Author: CarloLucibello

.github/workflows/pr_comment.yml

@@ -1,13 +1,13 @@
 name: pr_comment
 on:
   pull_request:
-    types: [opened]
+    types: [labeled]
 jobs:
   pr_comment:
     runs-on: ubuntu-latest
     steps:
       - name: Create PR comment
-        if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name # if this is a pull request build AND the pull request is NOT made from a fork
+        if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name && ${{ github.event.label.name == 'documentation' }} # if this is a pull request build AND the pull request is NOT made from a fork
         uses: thollander/actions-comment-pull-request@71efef56b184328c7ef1f213577c3a90edaa4aff
         with:
           message: 'Once the build has completed, you can preview any updated documentation at this URL: https://fluxml.ai/Flux.jl/previews/PR${{ github.event.number }}/ in ~20 minutes'