Skip to content
SAWScript

mir_unsafe_assume_spec #3178

Sign in to view logs

mir_unsafe_assume_spec

mir_unsafe_assume_spec #3178

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, 9.2.8, true, false)
32m 53s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
31m 21s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
30m 34s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
48m 56s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
12m 38s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
52m 42s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
33m 56s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
32m 32s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
30m 13s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
31m 32s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
33m 0s
mr-solver-tests (ubuntu-22.04)
27s
heapster-tests (ubuntu-22.04)
20m 31s
mr-solver-tests (macos-12)
1m 23s
heapster-tests (macos-12)
35m 53s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 35s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 43s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
2m 4s
cabal-test (test-sawcore, ubuntu-22.04, false)
37s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
39s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
27s
cabal-test (prover_tests, ubuntu-22.04, false)
28s
cabal-test (integration_tests, macos-12, true)
16m 34s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
14m 19s
cabal-test (integration_tests, windows-2019, true, 60)
15m 6s
Test SAW exercises (9.2.8)
2m 25s
Test s2n proofs (hmac, 9.2.8)
6m 26s
Test s2n proofs (drbg, 9.2.8)
3m 35s
Test s2n proofs (sike, 9.2.8)
4m 36s
Test s2n proofs (bike, 9.2.8)
7m 21s
Test s2n proofs (tls, 9.2.8)
3m 31s
Test s2n proofs (hmac-failure, 9.2.8)
3m 58s
Test s2n proofs (awslc, 9.2.8)
40m 50s
Test s2n proofs (blst, 9.2.8)
10m 58s
mergify
1s
9h 34m 51s