Skip to content
SAWScript

SAWScript #3119

Sign in to view logs

SAWScript

SAWScript #3119

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
9s
build-push-image (saw/Dockerfile, ghcr.io/galoisinc/saw, ghcr.io/galoisinc/cache-saw)
1m 12s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
37m 47s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
2m 48s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
22m 10s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
12m 29s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
32m 4s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
19m 36s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
7m 15s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
24m 2s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
8m 0s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
20m 12s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
8m 52s
heapster-tests (ubuntu-22.04)
31m 31s
heapster-tests (macos-12)
40m 39s
mr-solver-tests (ubuntu-22.04)
31s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 29s
cabal-test (integration_tests, ubuntu-22.04, false)
12m 46s
mr-solver-tests (macos-12)
1m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 53s
cabal-test (test-sawcore, ubuntu-22.04, false)
48s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
59s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
35s
cabal-test (prover_tests, ubuntu-22.04, false)
50s
cabal-test (integration_tests, macos-12, true)
14m 33s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, windows-2019, true, 60)
17m 53s
Test SAW exercises (9.2.7)
3m 44s
Test s2n proofs (hmac, 9.2.7)
8m 52s
Test s2n proofs (drbg, 9.2.7)
5m 51s
Test s2n proofs (sike, 9.2.7)
7m 25s
Test s2n proofs (bike, 9.2.7)
11m 8s
Test s2n proofs (tls, 9.2.7)
4m 25s
Test s2n proofs (hmac-failure, 9.2.7)
5m 22s
Test s2n proofs (awslc, 9.2.7)
35m 16s
Test s2n proofs (blst, 9.2.7)
10m 56s
mergify
0s
6h 55m 12s