From 6abe5a0316e4d27e7b6805ee32c24ca7d60f1011 Mon Sep 17 00:00:00 2001
From: Jose Corella <joseeduardocorella@gmail.com>
Date: Wed, 11 Dec 2024 15:12:38 -0800
Subject: [PATCH] chore(CI): use require workflow ci check instead

---
 .github/workflows/pull.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index 0a2606092..5b7f925fa 100644
--- 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) }}