Skip to content

Commit

Permalink
GitHub ci: install spike in setup.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
cathales authored Jan 3, 2024
1 parent 8c402c7 commit e74c493
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ci/setup.sh
Original file line number Diff line number Diff line change
Expand Up @@ -26,4 +26,5 @@ tar -x -f $RISCV64_UNKNOWN_ELF_GCC --strip-components=1 -C $RISCV

sudo apt install libfl-dev help2man

bash verif/regress/install-spike.sh
ci/build-riscv-tests.sh

0 comments on commit e74c493

Please sign in to comment.