diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-05-06 13:59:43 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-06 13:59:43 -0400 |
commit | bb94355cfc10039f075de53d5ceff57b02de92f7 (patch) | |
tree | 6f12f5ce55f6921e644e4212a61cd051e6d70764 /.github | |
parent | b60a62d5f0e127787f9ad4a6af309a057beea2c3 (diff) |
ci: allow skipped CI workflow to mean success (#1134)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 89522bd4..38a121c6 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -257,16 +257,16 @@ jobs: completion: name: "CI Pass Check" needs: [supported, other-check] - if: ${{ always() }} + if: ${{ success() || failure() }} runs-on: "ubuntu-latest" steps: - name: CI Passed - if: ${{ needs.supported.result == 'success' && needs.other-check.result == 'success' }} + if: ${{ (needs.supported.result == 'success' && needs.other-check.result == 'success') || (needs.supported.result == 'skipped' && needs.other-check.result == 'skipped') }} run: | echo "CI workflow completed successfully."; - name: CI Failed - if: ${{ needs.supported.result != 'success' || needs.other-check.result != 'success' }} + if: ${{ needs.supported.result == 'failure' && needs.other-check.result == 'failure' }} run: | echo "CI workflow failed at some point."; exit 1; |