cleanup

smithy-lang · Dec 15, 2023 · f20d38e · f20d38e
1 parent 1335c60
commit f20d38e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 9 deletions.
diff --git a/.github/workflows/test_models_dafny_verification.yml b/.github/workflows/test_models_dafny_verification.yml
@@ -49,6 +49,11 @@ jobs:
           TestModels/aws-sdks/sqs-via-cli,
         ]
         os: [ ubuntu-latest ]
+        include:
+          - dafny: 4.4.0
+            library: TestModels/Extendable
+          - dafny: 4.4.0
+            library: TestModels/ExternV2
         exclude:
           # This model tickles a tricky Dafny verification regression to be fixed in 4.4
           # https://github.com/dafny-lang/dafny/pull/4800

diff --git a/.github/workflows/test_models_net_tests.yml b/.github/workflows/test_models_net_tests.yml
@@ -24,7 +24,7 @@ jobs:
           TestModels/Errors,
           TestModels/Extendable,
           TestModels/Extern,
-          TestModels/ExternV2,
+          # TestModels/ExternV2, # Tested only for 4.4.0 below
           # TestModels/LocalService,
           TestModels/Refinement,
           TestModels/Resource,          
@@ -49,17 +49,10 @@ jobs:
         ]
         dotnet-version: [ '6.0.x' ]
         os: [ ubuntu-latest ]
-        dafny-version: ${{ inputs.dafny }}
+        dafny-version: [ ${{ inputs.dafny }} ]
         include:
           - library: TestModels/ExternV2
             dafny-version: 4.4.0
-        exclude:
-          # ExternV2 is only supported on Dafny >4.4.0
-          # Assuming only other tested versions are 4.1.0 and 4.3.0
-          - library: TestModels/ExternV2
-            dafny-version: 4.1.0
-          - library: TestModels/ExternV2
-            dafny-version: 4.3.0
     runs-on: ${{ matrix.os }}
     permissions:
       id-token: write