add verify version

Author: josecorella

.github/workflows/dafny_verify_version.yml

@@ -1,3 +1,25 @@
 # This workflow reads the project.properties
-# into the  enviornment variables
-# and then creates an output variable for `dafnyVerifyVersion`
+# into the environment variables
+# and then creates an output variable for `dafnyVerifyVersion `
+name: Dafny Verify Version
+
+on:
+  workflow_call:
+    outputs:
+      version:
+        description: "The dafny version for verify"
+        value: ${{ jobs.getDafnyVerifyVersion.outputs.version }}
+
+jobs:
+  getDafnyVerifyVersion:
+    runs-on: ubuntu-latest
+    outputs:
+      version: ${{ steps.read_property.outputs.dafnyVerifyVersion }}
+    steps:
+      - uses: actions/checkout@v4
+      - name: Read version from Properties-file
+        id: read_property
+        uses: christian-draeger/[email protected]
+        with:
+          path: "./project.properties"
+          properties: "dafnyVerifyVersion"

.github/workflows/pull.yml

@@ -7,6 +7,8 @@ on:
 jobs:
   getVersion:
     uses: ./.github/workflows/dafny_version.yml
+  getVerifyVersion:
+    uses: ./.github/workflows/dafny_verify_version.yml
   pr-ci-format:
     needs: getVersion
     uses: ./.github/workflows/library_format.yml
@@ -21,7 +23,7 @@ jobs:
     needs: getVersion
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: ${{needs.getVersion.outputs.version}}
+      dafny: ${{needs.getVerifyVersion.outputs.version}}
   pr-ci-java:
     needs: getVersion
     uses: ./.github/workflows/ci_test_java.yml

.github/workflows/push.yml

@@ -9,6 +9,8 @@ on:
 jobs:
   getVersion:
     uses: ./.github/workflows/dafny_version.yml
+  getVerifyVersion:
+    uses: ./.github/workflows/dafny_verify_version.yml
   push-ci-format:
     needs: getVersion
     uses: ./.github/workflows/library_format.yml
@@ -23,7 +25,7 @@ jobs:
     needs: getVersion
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: ${{needs.getVersion.outputs.version}}
+      dafny: ${{needs.getVerifyVersion.outputs.version}}
   pr-ci-java:
     needs: getVersion
     uses: ./.github/workflows/ci_test_java.yml