Prototype `mir_verify` command #2855

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
config	12s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)	1m 43s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)	1m 42s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)	1m 42s
build (macos-12, 3.10.1.0, 8.10.7, true)	1m 39s
build (macos-12, 3.10.1.0, 9.2.7, true)	1m 41s
build (macos-12, 3.10.1.0, 9.4.4, true)	1m 40s
build (windows-2019, 3.10.1.0, 8.10.7, true)	1m 52s
build (windows-2019, 3.10.1.0, 9.2.7, true)	1m 46s
build (windows-2019, 3.10.1.0, 9.4.4, true)	1m 53s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)	1m 43s
build-push-image	0s
saw-remote-api-tests	1s
mr-solver-tests	1s
heapster-tests	1s
cabal-test	1s
Test SAW exercises	1s
Test s2n proofs	1s
mergify	1s
	17m 40s