[DOC] Generate document HTMLs only when document commit/PR
This commit is contained in:
parent
5840b4363f
commit
09d5f3c143
Notes:
git
2024-10-09 01:31:26 +00:00
12
.github/workflows/check_misc.yml
vendored
12
.github/workflows/check_misc.yml
vendored
@ -114,14 +114,24 @@ jobs:
|
|||||||
- name: Generate docs
|
- name: Generate docs
|
||||||
id: docs
|
id: docs
|
||||||
run: |
|
run: |
|
||||||
ruby -W0 --disable-gems -I./lib tool/rdoc-srcdir --op html .
|
ruby -W0 --disable-gems -I./lib tool/rdoc-srcdir -q --op html .
|
||||||
echo htmlout=ruby-html-${GITHUB_SHA:0:10} >> $GITHUB_OUTPUT
|
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
|
- name: Upload docs
|
||||||
uses: actions/upload-artifact@v4
|
uses: actions/upload-artifact@v4
|
||||||
with:
|
with:
|
||||||
path: html
|
path: html
|
||||||
name: ${{ steps.docs.outputs.htmlout }}
|
name: ${{ steps.docs.outputs.htmlout }}
|
||||||
|
if: ${{ steps.docs.outcome == 'success' }}
|
||||||
|
|
||||||
- uses: ./.github/actions/slack
|
- uses: ./.github/actions/slack
|
||||||
with:
|
with:
|
||||||
|
Loading…
x
Reference in New Issue
Block a user