Merge pull request #144 from GaloisInc/143-update-slides-to-include-n… #121

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rts_posix_scenarios	6m 37s
prove_framac	6m 22s
prove_specs	2m 3s
rts_riscv_build_fpga	40m 44s
rts_riscv_build_verilator	1m 47s
	57m 33s