From 28e4704ed83ebeb6a8302392da67722499fe3420 Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Sat, 6 Jul 2024 16:55:42 +0200
Subject: [PATCH] Lock arch-tests in CI to 3.9 until incompatibility is
 resolved

riscv-arch-test 3.9.1 fails to run with errors about multiple
definitions of _start. Needs more investigation before updating.
---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 012ae92..8699e46 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -34,7 +34,7 @@ jobs:
         echo $GITHUB_WORKSPACE/sail-riscv >> $GITHUB_PATH
 
     - name: Init arch tests
-      run: riscof arch-test --clone
+      run: riscof arch-test --clone --get-version 3.9
 
     - name: Run RV32I compliance tests
       run: riscof run --config=$SERV/verif/config.ini --suite=riscv-arch-test/riscv-test-suite/rv32i_m/I --env=riscv-arch-test/riscv-test-suite/env --no-browser