Skip to content
SAWScript

mir_unsafe_assume_spec #3165

Sign in to view logs

mir_unsafe_assume_spec

mir_unsafe_assume_spec #3165

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
25m 9s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
17m 28s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
7m 6s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
35m 43s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
23m 11s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
11m 19s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
19m 46s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
8m 12s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
15m 41s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
9m 55s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 26s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 37s
heapster-tests (ubuntu-22.04)
20m 3s
cabal-test (test-sawcore, ubuntu-22.04, false)
36s
mr-solver-tests (ubuntu-22.04)
35s
heapster-tests (macos-12)
40m 6s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
33s
mr-solver-tests (macos-12)
1m 9s
cabal-test (prover_tests, ubuntu-22.04, false)
26s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
2m 17s
cabal-test (integration_tests, macos-12, true)
20m 11s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
38s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
11m 48s
cabal-test (integration_tests, windows-2019, true, 60)
12m 53s
Test SAW exercises (9.2.7)
2m 17s
Test s2n proofs (hmac, 9.2.7)
6m 24s
Test s2n proofs (drbg, 9.2.7)
3m 32s
Test s2n proofs (sike, 9.2.7)
4m 38s
Test s2n proofs (bike, 9.2.7)
7m 17s
Test s2n proofs (tls, 9.2.7)
3m 43s
Test s2n proofs (hmac-failure, 9.2.7)
4m 23s
Test s2n proofs (awslc, 9.2.7)
26m 21s
Test s2n proofs (blst, 9.2.7)
9m 9s
mergify
1s
6h 3m 42s