Skip to content
SAWScript

SAWScript #3231

Sign in to view logs

SAWScript

SAWScript #3231

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 24s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
16m 58s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 20s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 59s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 13s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
28m 38s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
11m 58s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
5m 33s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
20m 22s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
8m 21s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
7m 47s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 43s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 41s
heapster-tests (ubuntu-22.04)
17m 50s
heapster-tests (macos-12)
4m 19s
mr-solver-tests (ubuntu-22.04)
34s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 3s
mr-solver-tests (macos-12)
1m 2s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 22s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 31s
cabal-test (test-sawcore, ubuntu-22.04, false)
41s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
33s
Run integration tests with coverage reporting
0s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
49s
cabal-test (prover_tests, ubuntu-22.04, false)
31s
Test SAW exercises (9.2.8)
2m 25s
cabal-test (integration_tests, macos-12, true)
18m 35s
cabal-test (integration_tests, windows-2019, true, 60)
16m 7s
Test s2n proofs (hmac, 9.2.8)
6m 27s
Test s2n proofs (drbg, 9.2.8)
3m 44s
Test s2n proofs (sike, 9.2.8)
4m 36s
Test s2n proofs (bike, 9.2.8)
7m 18s
Test s2n proofs (tls, 9.2.8)
3m 35s
Test s2n proofs (hmac-failure, 9.2.8)
4m 7s
Test s2n proofs (awslc, 9.2.8)
26m 2s
Test s2n proofs (blst, 9.2.8)
9m 21s
mergify
0s
4h 40m 38s