Fixed figure and all uses across all slides. #122

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
rts_posix_scenarios	6m 36s
prove_specs	2m 7s
prove_framac	6m 24s
rts_riscv_build_fpga	49m 34s
rts_riscv_build_verilator	1m 53s
	1h 6m 34s