Run the test on this PR #16
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Licensed under the Apache-2.0 license | |
name: RISC-V Compliance tests | |
on: | |
schedule: | |
- cron: '0 0 * * *' | |
push: | |
branches: | |
- riscv-compliance | |
# Allows you to run this workflow manually from the Actions tab | |
workflow_dispatch: | |
jobs: | |
compliance: | |
runs-on: ubuntu-24.04 | |
steps: | |
- uses: actions/checkout@v4 | |
- name: Install dependencies | |
run: | | |
sudo apt update && \ | |
sudo apt upgrade -y && \ | |
sudo apt install -y \ | |
device-tree-compiler \ | |
gcc-multilib \ | |
gcc-riscv64-unknown-elf \ | |
opam \ | |
z3 | |
- name: Install RISC-V Python tools | |
run: | | |
pip install git+https://github.com/riscv/riscv-isac.git@dev && \ | |
pip install git+https://github.com/riscv/riscof.git | |
- name: Install riscv-isa-sim | |
run: | | |
git clone https://github.com/riscv-software-src/riscv-isa-sim.git && \ | |
pushd riscv-isa-sim && \ | |
mkdir build && \ | |
pushd build && \ | |
../configure --prefix=/usr && \ | |
make -j$(nproc) && \ | |
sudo make install && \ | |
popd && \ | |
popd | |
- name: Install Sail | |
run: | | |
opam init -a -y && \ | |
opam install -y sail && \ | |
echo "$HOME/.opam/default/bin" >> "$GITHUB_PATH" | |
- name: Install Sail RISC-V | |
run: | | |
git clone https://github.com/riscv/sail-riscv.git && \ | |
pushd sail-riscv && \ | |
make c_emulator/riscv_sim_RV32 ARCH=32 -j$(nproc) && \ | |
sudo cp -r c_emulator/riscv_sim_RV32 /usr/bin && \ | |
popd | |
- name: Install Rust tools | |
run: rustup update | |
- name: Checkout RISC-V tests | |
run: git clone https://github.com/riscv-non-isa/riscv-arch-test.git emulator/compliance-test/riscv-arch-test | |
- name: Run compliance tests | |
run: cargo run -p compliance-test -- --test_root_path emulator/compliance-test/riscv-arch-test |