diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
index 6533be886..30cb14871 100644
--- a/.github/workflows/pull.yml
+++ b/.github/workflows/pull.yml
@@ -20,10 +20,10 @@ jobs:
     with:
       dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-verification:
-    needs: getVersion
+    needs: getVerifyVersion
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: ${{needs.getVerifyVersion.outputs.version}}
+      dafny: ${{needs.getVerifyVersion.outputs.version}} 
   pr-ci-java:
     needs: getVersion
     uses: ./.github/workflows/ci_test_java.yml