Update test.yml

viperproject · Nov 4, 2022 · 2bf0673 · 2bf0673
1 parent ba9b3ad
commit 2bf0673
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -261,7 +261,7 @@ jobs:
   # Run Prusti on itself.
   # Disabled because of a bug when compiling jni-gen
   test-on-prusti:
-    needs: [fmt-check, clippy-check, smir-check, quick-tests]
+    needs: [fmt-check, clippy-check, check-deps, smir-check, quick-tests]
     runs-on: ubuntu-latest
     if: false
     steps: