chore: consolidate dafny version (#103)

Have a single place for dafny version for CI

.github/workflows/ci_static-analysis.yaml

@@ -1,7 +1,11 @@
 # This workflow performs static analysis checks.
 name: static analysis
 
-on: ["pull_request", "push"]
+on: 
+  pull_request:
+  push:
+    branches:
+      - main
 
 jobs:
   not-grep:

.github/workflows/dafny_version.yaml

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

.github/workflows/daily_ci.yml

@@ -6,19 +6,31 @@ on:
     - cron: "00 15 * * 1-5"
 
 jobs:
-  daily-ci-verification:
+  getVersion:
     # Don't run the cron builds on forks
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/dafny_version.yaml
+  daily-ci-format:
+    needs: getVersion
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
+    uses: ./.github/workflows/library_format.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+  daily-ci-verification:
+    needs: getVersion
+    if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   daily-ci-java:
+    needs: getVersion
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/library_java_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   daily-ci-net:
+    needs: getVersion
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/library_net_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}

.github/workflows/manual.yml

@@ -15,7 +15,7 @@ jobs:
   manual-ci-format:
     uses: ./.github/workflows/library_format.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{ inputs.dafny }}
   manual-ci-verification:
     uses: ./.github/workflows/library_dafny_verification.yml
     with:

.github/workflows/pull.yml

@@ -5,19 +5,25 @@ on:
   pull_request:
 
 jobs:
+  getVersion:
+    uses: ./.github/workflows/dafny_version.yaml
   pr-ci-format:
+    needs: getVersion
     uses: ./.github/workflows/library_format.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-verification:
+    needs: getVersion
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-java:
+    needs: getVersion
     uses: ./.github/workflows/library_java_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   pr-ci-net:
+    needs: getVersion
     uses: ./.github/workflows/library_net_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}

.github/workflows/push.yml

@@ -7,19 +7,25 @@ on:
       - main    
 
 jobs:
+  getVersion:
+    uses: ./.github/workflows/dafny_version.yaml
   push-ci-format:
+    needs: getVersion
     uses: ./.github/workflows/library_format.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   push-ci-verification:
+    needs: getVersion
     uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   push-ci-java:
+    needs: getVersion
     uses: ./.github/workflows/library_java_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}
   push-ci-net:
+    needs: getVersion
     uses: ./.github/workflows/library_net_tests.yml
     with:
-      dafny: '4.2.0'
+      dafny: ${{needs.getVersion.outputs.version}}

project.properties

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