Skip to content
SAWScript

SAWScript #3209

Sign in to view logs

SAWScript

SAWScript #3209

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