Skip to content
SAWScript

SAWScript #3243

Sign in to view logs

SAWScript

SAWScript #3243

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
7s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 1s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 49s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 28s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 38s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 17s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
19m 57s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
6m 10s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
5m 26s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
18m 45s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
6m 17s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
6m 42s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 23s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 29s
heapster-tests (ubuntu-22.04)
18m 11s
heapster-tests (macos-12)
27m 43s
mr-solver-tests (ubuntu-22.04)
43s
mr-solver-tests (macos-12)
59s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 40s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 25s
cabal-test (test-sawcore, ubuntu-22.04, false)
35s
Run integration tests with coverage reporting
0s
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)
26s
Test SAW exercises (9.2.8)
2m 24s
cabal-test (prover_tests, ubuntu-22.04, false)
25s
cabal-test (integration_tests, macos-12, true)
19m 20s
cabal-test (integration_tests, windows-2019, true, 60)
16m 1s
Test s2n proofs (hmac, 9.2.8)
6m 46s
Test s2n proofs (drbg, 9.2.8)
3m 46s
Test s2n proofs (sike, 9.2.8)
4m 40s
Test s2n proofs (bike, 9.2.8)
7m 18s
Test s2n proofs (tls, 9.2.8)
3m 27s
Test s2n proofs (hmac-failure, 9.2.8)
4m 26s
Test s2n proofs (awslc, 9.2.8)
26m 8s
Test s2n proofs (blst, 9.2.8)
10m 18s
mergify
1s
4h 46m 12s