Test multiple Dafny versions in CI

smithy-lang · Oct 29, 2023 · 180d29c · 180d29c
1 parent 6d8b292
commit 180d29c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/test_models_java_tests.yml b/.github/workflows/test_models_java_tests.yml
@@ -29,6 +29,10 @@ jobs:
     if: github.event_name != 'schedule' || github.repository_owner == 'smithy-lang'
     strategy:
       matrix:
+        dafny-version: [
+          4.1.0,
+          4.3.0
+        ]
         library: [
           TestModels/dafny-dependencies/StandardLibrary, # This stores current Polymorph dependencies that all TestModels depend on
           # TestModels/Aggregate,
@@ -85,7 +89,7 @@ jobs:
         uses: dafny-lang/setup-dafny-action@v1.6.1
         with:
           # A && B || C is the closest thing to an if .. then ... else ... or ?: expression the GitHub Actions syntax supports.
-          dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || '4.3.0' }}
+          dafny-version: ${{ (github.event_name == 'schedule' || inputs.nightly) && 'nightly-latest' || matrix.dafny-version }}
 
       - name: Setup Java 
         uses: actions/setup-java@v3