Skip to content
SAWScript

SAWScript #2859

Sign in to view logs

SAWScript

SAWScript #2859

Run time

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