Skip to content

GitLab

Commit 70368cec authored by Wenhao Xie's avatar Wenhao Xie Committed by GitHub
Browse files

[CI] Allow manual triggering of documentation workflow in addition to merged pull requests. (#43)

parent f7dd101c
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
.github/workflows/publish_docs.yml
View file @ 70368cec
...@@ -11,7 +11,7 @@ permissions: ...@@ -11,7 +11,7 @@ permissions:
jobs: jobs:
docs: docs:
if: ${{ github.event.pull_request.merged == true && github.event.pull_request.base.ref == 'main' }} if: ${{ github.event.pull_request.merged == true && github.event.pull_request.base.ref == 'main' }} || ${{ github.event_name == 'workflow_dispatch' }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment