From 2319048ad80f1a9b8188aa4f1eba123cb21f451f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mika=C3=ABl=20Mayer?= <MikaelMayer@users.noreply.github.com>
Date: Fri, 30 Aug 2024 11:30:32 -0500
Subject: [PATCH] Added Dafny 4.8.0 in tests

---
 .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 36e3067e..d422a38e 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -13,7 +13,7 @@ jobs:
   verification:
     strategy:
       matrix:
-        version: [ 4.0.0, 4.1.0 ]
+        version: [ 4.0.0, 4.1.0, 4.8.0 ]
 
     uses: ./.github/workflows/reusable-tests.yml
     with: