Skip to content
SAWScript

SAWScript #3170

Sign in to view logs

SAWScript

SAWScript #3170

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
42m 28s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
55s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
31m 34s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 0s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
30m 52s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
34m 15s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
25m 15s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
9m 25s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
32m 39s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
29m 46s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
31m 37s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
30m 56s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 37s
mr-solver-tests (ubuntu-22.04)
49s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
2m 3s
mr-solver-tests (macos-12)
49s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
54s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, ubuntu-22.04, false)
8m 52s
cabal-test (test-sawcore, ubuntu-22.04, false)
40s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
31s
cabal-test (prover_tests, ubuntu-22.04, false)
45s
Test SAW exercises (9.2.7)
2m 37s
heapster-tests (ubuntu-22.04)
20m 44s
cabal-test (integration_tests, macos-12, true)
15m 45s
Test s2n proofs (hmac, 9.2.7)
6m 35s
heapster-tests (macos-12)
34m 25s
cabal-test (integration_tests, windows-2019, true, 60)
12m 58s
Test s2n proofs (drbg, 9.2.7)
3m 43s
Test s2n proofs (sike, 9.2.7)
4m 52s
Test s2n proofs (bike, 9.2.7)
7m 28s
Test s2n proofs (tls, 9.2.7)
3m 41s
Test s2n proofs (hmac-failure, 9.2.7)
4m 2s
Test s2n proofs (awslc, 9.2.7)
25m 32s
Test s2n proofs (blst, 9.2.7)
9m 54s
mergify
1s
7h 51m 5s