consolidate dafny version

.github/workflows/dafny_version.yaml

@@ -0,0 +1,15 @@
+# This workflow reads the project.properties
+# into the environment variables
+# and then creates an output variable for `dafnyVersion`
+name: Dafny Version
+
+jobs:
+  getDafnyVersion:
+    outputs:
+      dafnyVersion: $${{steps.getVersion.outputs.dafnyVersion}}
+    steps:
+      - id: getVersion
+        shell: bash
+        run: |
+          export `cat ../../project.properties`
+          echo "dafnyVersion=$dafnyVersion" >> "$GITHUB_OUTPUT"

.github/workflows/pull.yml

@@ -6,18 +6,19 @@ on:
 
 jobs:
   pr-ci-format:
+    needs: getDafnyVersion
     uses: ./.github/workflows/library_dafny_format.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getDafnyVersion.dafnyVersion}}
   pr-ci-verification:
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getDafnyVersion.dafnyVersion}}
   pr-ci-java:
     uses: ./.github/workflows/library_java_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getDafnyVersion.dafnyVersion}}
   pr-ci-net:
     uses: ./.github/workflows/library_net_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getDafnyVersion.dafnyVersion}}

project.properties

@@ -0,0 +1 @@
+dafnyVersion=4.2.0