From f20d38e2d16794656d857224e3c1df16a39723e5 Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Fri, 15 Dec 2023 10:55:58 -0800 Subject: [PATCH] cleanup --- .github/workflows/test_models_dafny_verification.yml | 5 +++++ .github/workflows/test_models_net_tests.yml | 11 ++--------- 2 files changed, 7 insertions(+), 9 deletions(-) diff --git a/.github/workflows/test_models_dafny_verification.yml b/.github/workflows/test_models_dafny_verification.yml index 436bc306f..011c5a07d 100644 --- 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 index 4fbf269d6..d3effbd31 100644 --- 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