Skip to content
SAWScript

SAWScript #3201

Sign in to view logs

SAWScript

SAWScript #3201

Run time

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