Skip to content
SAWScript

SAWScript #3237

Sign in to view logs

SAWScript

SAWScript #3237

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