Toplevel rust translation #2800

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
config	7s
build-push-image	0s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)	22m 15s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)	13m 41s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)	5m 34s
build (macos-12, 3.10.1.0, 8.10.7, true)	53m 51s
build (macos-12, 3.10.1.0, 9.2.7, true)	39m 24s
build (macos-12, 3.10.1.0, 9.4.4, true)	30m 26s
build (windows-2019, 3.10.1.0, 8.10.7, true)	26m 58s
build (windows-2019, 3.10.1.0, 9.2.7, true)	20m 1s
build (windows-2019, 3.10.1.0, 9.4.4, true)	6m 52s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)	28m 29s
mr-solver-tests	0s
saw-remote-api-tests	0s
heapster-tests	0s
cabal-test	0s
Test s2n proofs	0s
Test SAW exercises	0s
mergify	0s
	4h 7m 38s