Skip to content
SAWScript

mir_unsafe_assume_spec #3141

Sign in to view logs

mir_unsafe_assume_spec

mir_unsafe_assume_spec #3141

Run time

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