Skip to content
SAWScript

SAWScript #2876

Sign in to view logs

SAWScript

SAWScript #2876

Run time

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