Skip to content
SAWScript

SAWScript #3163

Sign in to view logs

SAWScript

SAWScript #3163

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
7s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
43m 24s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
58s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
17m 35s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
4m 44s
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, 8.10.7, true, false)
38m 21s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
32m 59s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
9m 35s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
18m 13s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
6m 25s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
15m 58s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
9m 15s
mr-solver-tests (ubuntu-22.04)
38s
mr-solver-tests (macos-12)
1m 6s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 41s
heapster-tests (ubuntu-22.04)
20m 13s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 56s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 15s
heapster-tests (macos-12)
38m 1s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
38s
cabal-test (test-sawcore, ubuntu-22.04, false)
37s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
50s
Test SAW exercises (9.2.7)
2m 20s
cabal-test (prover_tests, ubuntu-22.04, false)
35s
cabal-test (integration_tests, macos-12, true)
16m 7s
cabal-test (integration_tests, windows-2019, true, 60)
12m 37s
Test s2n proofs (hmac, 9.2.7)
6m 23s
Test s2n proofs (drbg, 9.2.7)
3m 28s
Test s2n proofs (sike, 9.2.7)
4m 59s
Run integration tests with coverage reporting
0s
Test s2n proofs (bike, 9.2.7)
7m 11s
Test s2n proofs (tls, 9.2.7)
3m 57s
Test s2n proofs (hmac-failure, 9.2.7)
4m 16s
Test s2n proofs (awslc, 9.2.7)
25m 13s
Test s2n proofs (blst, 9.2.7)
8m 55s
mergify
1s
6h 11m 2s