m

Author: Lucas McDonald

.github/workflows/pull.yml

@@ -72,8 +72,6 @@ jobs:
   pr-ci-python-static-analysis:
     needs: getVersion
     uses: ./.github/workflows/ci_static_analysis_python.yml
-    with:
-      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml

.github/workflows/push.yml

@@ -69,8 +69,6 @@ jobs:
   pr-ci-python-static-analysis:
     needs: getVersion
     uses: ./.github/workflows/ci_static_analysis_python.yml
-    with:
-      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net-test-vectors:
     needs: getVersion
     uses: ./.github/workflows/ci_test_vector_net.yml