[DOC] Generate document HTMLs only when document commit/PR

nobu · Oct 9, 2024 · b6cc19e · b6cc19e
1 parent 5840b43
commit b6cc19e
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml
@@ -116,12 +116,22 @@ jobs:
         run: |
           ruby -W0 --disable-gems -I./lib tool/rdoc-srcdir --op html .
           echo htmlout=ruby-html-${GITHUB_SHA:0:10} >> $GITHUB_OUTPUT
+        # Generate only when document commit/PR
+        if: >-
+          ${{false
+          || contains(github.event.head_commit.message, '[DOC]')
+          || contains(github.event.head_commit.message, 'Document')
+          || contains(github.event.pull_request.title, '[DOC]')
+          || contains(github.event.pull_request.title, 'Document')
+          || contains(github.event.pull_request.labels.*.name, 'Documentation')
+          }}
 
       - name: Upload docs
         uses: actions/upload-artifact@v4
         with:
           path: html
           name: ${{ steps.docs.outputs.htmlout }}
+        if: ${{ steps.docs.outcome == 'success' }}
 
       - uses: ./.github/actions/slack
         with: