Skip to content

Commit

Permalink
Require build-docs label only when making a pull request to upstream/…
Browse files Browse the repository at this point in the history
…main
  • Loading branch information
smokestacklightnin committed Jul 12, 2023
1 parent 076a198 commit 5360090
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/build-docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ defaults:
shell: bash -le {0}
jobs:
build-sphinx-html:
if: (((github.repository == 'tardis-sn/stardis') && (${{ github.head_ref || github.ref_name}} == 'main')) || (github.repository_owner != 'tardis-sn')) && contains(github.event.pull_request.labels.*.name, 'build-docs')
if: ((github.repository == 'tardis-sn/stardis') && (${{ github.head_ref || github.ref_name}} == 'main') && contains(github.event.pull_request.labels.*.name, 'build-docs')) || (github.repository_owner != 'tardis-sn')
# The above line makes this action run if it is either not on the upstream/main or the main branch of upstream/main.
# If there is a better way to implement this, I'd like someone to please share.
# The context to get the branch name is from https://stackoverflow.com/a/71158878
Expand Down

0 comments on commit 5360090

Please sign in to comment.