Abstracted SAW command and updated documentation. #132
main.yml
on: push
prove_specs
3m 28s
prove_framac
6m 22s
rts_posix_scenarios
7m 52s
rts_riscv_build_verilator
3m 33s
rts_riscv_build_fpga
3m 16s
Annotations
10 warnings