Merge branch 'master' into master

rust-fuzz · Dec 15, 2023 · a386dad · a386dad
2 parents b41731d + 4ff57cc
commit a386dad
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -85,5 +85,8 @@ jobs:
   all-checks:
     needs: [lint, build]
     runs-on: ubuntu-latest
+    if: ${{ always() }}
     steps:
-      - run: true
+      - name: Check results
+        if: ${{ contains(needs.*.result, 'failure') || contains(needs.*.result, 'cancelled') }}
+        run: exit 1