CI

Merge pull request #138 from GaloisInc/135-post-release-polishing-bui… #114

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
prove_specs	2m 29s
rts_posix_scenarios	29m 50s
rts_riscv_build_fpga	38m 30s
prove_framac	6m 31s
rts_riscv_build_verilator	2m 13s
	1h 19m 33s