Skip to content
SAWScript

SAWScript #3162

Sign in to view logs

SAWScript

SAWScript #3162

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)
32m 43s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 42s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
16m 39s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 40s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
5m 58s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
44m 46s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
26m 27s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
10m 49s
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)
6m 13s
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)
11m 39s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 30s
heapster-tests (ubuntu-22.04)
20m 30s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 39s
mr-solver-tests (ubuntu-22.04)
53s
heapster-tests (macos-12)
46m 5s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
33s
mr-solver-tests (macos-12)
1m 37s
cabal-test (integration_tests, ubuntu-22.04, false)
11m 34s
cabal-test (test-sawcore, ubuntu-22.04, false)
41s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
26s
cabal-test (prover_tests, ubuntu-22.04, false)
32s
Test SAW exercises (9.2.7)
2m 58s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, macos-12, true)
15m 42s
Test s2n proofs (hmac, 9.2.7)
6m 55s
cabal-test (integration_tests, windows-2019, true, 60)
12m 57s
Test s2n proofs (drbg, 9.2.7)
3m 46s
Test s2n proofs (sike, 9.2.7)
4m 53s
Test s2n proofs (bike, 9.2.7)
7m 20s
Test s2n proofs (tls, 9.2.7)
4m 51s
Test s2n proofs (hmac-failure, 9.2.7)
4m 20s
Test s2n proofs (awslc, 9.2.7)
26m 9s
Test s2n proofs (blst, 9.2.7)
11m 20s
mergify
1s
6h 21m 58s