Skip to content
SAWScript

SAWScript #2683

Sign in to view logs

SAWScript

SAWScript #2683

Run time

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