ARGH

dafny-lang · Jan 23, 2025 · 9414f9b · 9414f9b
1 parent 27f7f65
commit 9414f9b
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -70,3 +70,15 @@ jobs:
         run: npm run lint
       - name: Test
         run: npm test
+
+  all-required:
+    if: always()
+    needs:
+      - setup-dafny
+      - unit-tests
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Verify all required jobs passed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}