diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ci.yaml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index b932e9d..f708fa8 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -69,22 +69,3 @@ jobs: ) nix flake check "${args[@]}" - - gate: - needs: [build, check] - - name: CI Gate - runs-on: ubuntu-latest - - if: always() - - steps: - - name: Exit with result - run: | - results=( - "${{ needs.build.result }}" - "${{ needs.check.result }}" - ) - - for result in "${results[@]}"; do [ "$result" != "success" ] && exit 1; done - exit 0 |