Skip to content
SAWScript

mir_unsafe_assume_spec #3183

Sign in to view logs

mir_unsafe_assume_spec

mir_unsafe_assume_spec #3183

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
7s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
16m 46s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
5m 22s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
6m 58s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
27m 39s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
12m 55s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
9m 17s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
18m 50s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
11m 32s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
5m 22s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 8s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 42s
heapster-tests (ubuntu-22.04)
18m 3s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 15s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 33s
heapster-tests (macos-12)
39m 43s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
12m 25s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 43s
cabal-test (test-sawcore, ubuntu-22.04, false)
41s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
36s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
34s
cabal-test (prover_tests, ubuntu-22.04, false)
29s
Test SAW exercises (9.2.8)
2m 18s
mr-solver-tests (ubuntu-22.04)
34s
cabal-test (integration_tests, macos-12, true)
15m 55s
mr-solver-tests (macos-12)
1m 15s
Test s2n proofs (hmac, 9.2.8)
6m 37s
cabal-test (integration_tests, windows-2019, true, 60)
13m 24s
Test s2n proofs (drbg, 9.2.8)
3m 20s
Test s2n proofs (sike, 9.2.8)
4m 33s
Test s2n proofs (bike, 9.2.8)
8m 1s
Test s2n proofs (tls, 9.2.8)
3m 31s
Test s2n proofs (hmac-failure, 9.2.8)
4m 37s
Test s2n proofs (awslc, 9.2.8)
25m 39s
Test s2n proofs (blst, 9.2.8)
9m 19s
mergify
1s
5h 24m 44s