From 05beef6e25a5583abdd4c70c6b09404dfe2fb4cb Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Thu, 20 Jul 2023 20:29:17 +0200 Subject: [PATCH] Also test against Dafny 4.2.0 (#135) --- .github/workflows/tests.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index f0ba9c15..e025e2a1 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -13,7 +13,7 @@ jobs: verification: strategy: matrix: - version: [ 3.13.1, 4.0.0, 4.1.0 ] + version: [ 3.13.1, 4.0.0, 4.1.0, 4.2.0 ] uses: ./.github/workflows/reusable-tests.yml with: