From 795555a10d97c54d5d0b00e496e2ced27444cf23 Mon Sep 17 00:00:00 2001
From: JeanRochCoulon <jean-roch.coulon@thalesgroup.com>
Date: Tue, 2 Jan 2024 12:10:27 +0100
Subject: [PATCH] Update setup.sh to fix Github Action CI

---
 ci/setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/setup.sh b/ci/setup.sh
index 0340187188..39c09cadfa 100755
--- a/ci/setup.sh
+++ b/ci/setup.sh
@@ -25,5 +25,5 @@ tar -x -f $RISCV64_UNKNOWN_ELF_GCC --strip-components=1 -C $RISCV
 
 sudo apt install libfl-dev help2man
 
-verif/regress/install-cva6.sh
+verif/sim/setup-env.sh
 ci/build-riscv-tests.sh