diff options
| author | Erik Johnston <erik@matrix.org> | 2021-08-05 11:22:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-05 11:22:27 +0100 |
| commit | e33f14e8d51e33cb86d7791495b73ae4c1e784f9 (patch) | |
| tree | 2e80d943c23ee13e5c6aeca73015e35ee1dee8ee /.github | |
| parent | Merge tag 'v1.40.0rc2' into develop (diff) | |
| download | synapse-e33f14e8d51e33cb86d7791495b73ae4c1e784f9.tar.xz | |
Don't fail CI when lint-newfile job was skipped (#10529)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/tests.yml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 239553ae13..75c2976a25 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -8,7 +8,7 @@ on: concurrency: group: ${{ github.workflow }}-${{ github.ref }} cancel-in-progress: true - + jobs: lint: runs-on: ubuntu-latest @@ -374,6 +374,11 @@ jobs: rc=0 results=$(jq -r 'to_entries[] | [.key,.value.result] | join(" ")' <<< $NEEDS_CONTEXT) while read job result ; do + # The newsfile lint may be skipped on non PR builds + if [ $result == "skipped" ] && [ $job == "lint-newsfile" ]; then + continue + fi + if [ "$result" != "success" ]; then echo "::set-failed ::Job $job returned $result" rc=1 |