Introduce Github Actions to run tests for PRs to avoid breaking changes.
Currently provides a riscv-formal job, using the oss-cad-suite to run the riscv-formal picorv32 checks. Similar to the riscv-formal CI except we don't need to test NERV, and we want to test the current version of picorv32.v rather than the latest master.
Ideally we would also have a job for running make test etc, but setting up the riscv-gnu-toolchain is a bit more involved.
Introduce Github Actions to run tests for PRs to avoid breaking changes.
Currently provides a
riscv-formaljob, using the oss-cad-suite to run the riscv-formal picorv32 checks. Similar to the riscv-formal CI except we don't need to test NERV, and we want to test the current version ofpicorv32.vrather than the latest master.Ideally we would also have a job for running
make testetc, but setting up the riscv-gnu-toolchain is a bit more involved.