Skip to content
SAWScript

SAWScript #3248

Sign in to view logs

SAWScript

SAWScript #3248

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