Specify —dafny-version

smithy-lang · Oct 29, 2023 · 5c65aa7 · 5c65aa7
1 parent 180d29c
commit 5c65aa7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/.github/workflows/test_models_java_tests.yml b/.github/workflows/test_models_java_tests.yml
@@ -114,7 +114,7 @@ jobs:
         working-directory: ./${{ matrix.library }}
         run: |
           make polymorph_dafny
-          make polymorph_java
+          make polymorph_java DAFNY_VERSION="--dafny-version ${{ matrix.dafny-version }}"
 
       - name: Setup Java 8 for running tests
         uses: actions/setup-java@v3

diff --git a/TestModels/Resource/Makefile b/TestModels/Resource/Makefile
@@ -6,7 +6,6 @@ CORES=2
 include ../SharedMakefile.mk
 
 NAMESPACE=simple.resources
-DAFNY_VERSION=--dafny-version 4.3
 
 # This project has no dependencies 
 # DEPENDENT-MODELS:=