Skip to content
SAWScript

SAWScript #3249

Sign in to view logs

SAWScript

SAWScript #3249

Run time

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