chore(CI): use require workflow ci check instead (#719)

aws · Dec 11, 2024 · 1c4d1c4 · 1c4d1c4
1 parent 4f751e0
commit 1c4d1c4
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
@@ -37,3 +37,19 @@ jobs:
     uses: ./.github/workflows/library_legacy_interop_test_vectors.yml
     with:
       dafny: '4.9.0'
+  pr-ci-all-required:
+    if: always()
+    needs:
+      - pr-ci-codegen
+      - pr-ci-verification
+      - pr-ci-net
+      - pr-ci-rust
+      - pr-test-vectors
+      - pr-dafny-test-vectors
+      - pr-dafny-legacy-test-vectors
+    runs-on: ubuntu-latest
+    steps:
+      - name: Verify all required jobs passed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}