mirror of
https://github.com/ben-grande/qusal.git
synced 2024-10-01 02:35:49 -04:00
ci: change workflow if statement syntax
This commit is contained in:
parent
ba5193126e
commit
51424a47e6
7
.github/workflows/reject-pr.yaml
vendored
7
.github/workflows/reject-pr.yaml
vendored
@ -14,10 +14,6 @@ on:
|
|||||||
- reopened
|
- reopened
|
||||||
- synchronize
|
- synchronize
|
||||||
|
|
||||||
concurrency:
|
|
||||||
group: ci-${{ github.ref }}-1
|
|
||||||
cancel-in-progress: true
|
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
lint:
|
lint:
|
||||||
strategy:
|
strategy:
|
||||||
@ -47,10 +43,9 @@ jobs:
|
|||||||
if echo "${committer}" | grep -q "^GitHub$"; then
|
if echo "${committer}" | grep -q "^GitHub$"; then
|
||||||
echo "committer_gitweb=true" >> $GITHUB_OUTPUT
|
echo "committer_gitweb=true" >> $GITHUB_OUTPUT
|
||||||
echo "Commit was made using the GitHub WebUI" >&2
|
echo "Commit was made using the GitHub WebUI" >&2
|
||||||
exit 1
|
|
||||||
fi
|
fi
|
||||||
- name: Block commits made using the GitHub WebUI
|
- name: Block commits made using the GitHub WebUI
|
||||||
if: steps.check_committer.outputs.committer_gitweb == "true"
|
if: steps.check_committer.outputs.committer_gitweb == 'true'
|
||||||
uses: peter-evans/close-pull@v3
|
uses: peter-evans/close-pull@v3
|
||||||
with:
|
with:
|
||||||
# yamllint disable-line rule:line-length
|
# yamllint disable-line rule:line-length
|
||||||
|
Loading…
Reference in New Issue
Block a user