Dockerfile update for Ubuntu update and all dependencies. #131
main.yml
on: push
prove_specs
3m 27s
prove_framac
6m 21s
rts_posix_scenarios
7m 36s
rts_riscv_build_verilator
3m 7s
rts_riscv_build_fpga
3m 5s
Annotations
10 warnings