diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 8ef1b22963a..accac02fb3a 100644 --- 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: