Skip to content

Commit f5d04fb

Browse files
committed
CI: RISCOF workaround
1 parent 65fdaef commit f5d04fb

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.ci/riscv-tests.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
set -e -u -o pipefail
44

55
# Install RISCOF
6-
python3 -m pip install git+https://github.com/riscv/riscof
6+
pip3 install git+https://github.com/riscv/riscof.git@d38859f85fe407bcacddd2efcd355ada4683aee4
77

88
set -x
99

0 commit comments

Comments
 (0)