wip

olofk · Jul 6, 2024 · f7d40d1 · f7d40d1
1 parent 0cf26fe
commit f7d40d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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