diff --git a/.github/workflows/nightly_dafny.yml b/.github/workflows/nightly_dafny.yml
index 4edb7ab15..20b5baa2b 100644
--- a/.github/workflows/nightly_dafny.yml
+++ b/.github/workflows/nightly_dafny.yml
@@ -50,6 +50,7 @@ jobs:
         dafny-nightly-java,
         dafny-nightly-net,
         dafny-nightly-rust,
+        dafny-nightly-python,
       ]
     if: ${{ always() && contains(needs.*.result, 'failure') }}
     env:
diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index 7ee82eede..31e2db4db 100644
--- a/.github/workflows/pull.yml
+++ b/.github/workflows/pull.yml
@@ -66,3 +66,18 @@ jobs:
     uses: ./.github/workflows/test_models_python_tests.yml
     with:
       dafny: ${{ matrix.dafny-version }}
+
+  pr-ci-all-required:
+    if: always()
+    needs:
+      - pr-ci-verification
+      - pr-ci-java
+      - pr-ci-net
+      - pr-ci-rust
+      - pr-ci-python
+    runs-on: ubuntu-latest
+    steps:
+      - name: Verify all required jobs passed
+        uses: re-actors/alls-green@release/v1
+        with:
+          jobs: ${{ toJSON(needs) }}