Skip to content
SAWScript

SAWScript #3196

Sign in to view logs

SAWScript

SAWScript #3196

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 29s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
28m 26s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 48s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
34m 40s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 5s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
34m 28s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
9m 31s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
6m 55s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
20m 28s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
10m 42s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
7m 31s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
17m 20s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 51s
heapster-tests (ubuntu-22.04)
18m 59s
heapster-tests (macos-12)
39m 28s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 46s
mr-solver-tests (ubuntu-22.04)
30s
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 53s
mr-solver-tests (macos-12)
1m 5s
cabal-test (test-sawcore, ubuntu-22.04, false)
39s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
54s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
36s
Run integration tests with coverage reporting
0s
cabal-test (prover_tests, ubuntu-22.04, false)
29s
cabal-test (integration_tests, macos-12, true)
19m 6s
Test SAW exercises (9.2.8)
2m 59s
cabal-test (integration_tests, windows-2019, true, 60)
15m 44s
Test s2n proofs (hmac, 9.2.8)
6m 21s
Test s2n proofs (drbg, 9.2.8)
3m 32s
Test s2n proofs (sike, 9.2.8)
4m 59s
Test s2n proofs (bike, 9.2.8)
7m 33s
Test s2n proofs (tls, 9.2.8)
3m 56s
Test s2n proofs (hmac-failure, 9.2.8)
4m 19s
Test s2n proofs (awslc, 9.2.8)
26m 33s
Test s2n proofs (blst, 9.2.8)
8m 55s
mergify
1s
6h 25m 50s