From d5142515816b38dbb132407e8b9510f12e79fc51 Mon Sep 17 00:00:00 2001
From: CVA6 CI Bot <cva6@bot.com>
Date: Tue, 20 Feb 2024 15:50:47 +0000
Subject: [PATCH] CVA6 regression test

---
 Bender.lock | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Bender.lock b/Bender.lock
index 046043cb0..49e16921b 100644
--- a/Bender.lock
+++ b/Bender.lock
@@ -92,7 +92,7 @@ packages:
       Git: https://github.com/pulp-platform/common_verification.git
     dependencies: []
   cva6:
-    revision: 1cf292b02df5ef7d5de17183980589693907e352
+    revision: a71322531f4916a1b6658fb2c29980b1a0b49e8b
     version: null
     source:
       Git: https://github.com/pulp-platform/cva6.git