From f5d04fb7973fd9165253d82af224fac4290002f2 Mon Sep 17 00:00:00 2001 From: Vacantron Chen Date: Mon, 5 Aug 2024 01:10:10 +0800 Subject: [PATCH] CI: RISCOF workaround --- .ci/riscv-tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.ci/riscv-tests.sh b/.ci/riscv-tests.sh index 9cdab63f..ad11fda7 100755 --- a/.ci/riscv-tests.sh +++ b/.ci/riscv-tests.sh @@ -3,7 +3,7 @@ set -e -u -o pipefail # Install RISCOF -python3 -m pip install git+https://github.com/riscv/riscof +pip3 install git+https://github.com/riscv/riscof.git@d38859f85fe407bcacddd2efcd355ada4683aee4 set -x