Skip to content
SAWScript

SAWScript #2783

Sign in to view logs

SAWScript

SAWScript #2783

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 48s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
3m 0s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
33m 46s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
21m 0s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
6m 39s
build (macos-12, 3.10.1.0, 8.10.7, true)
52m 13s
build (macos-12, 3.10.1.0, 9.2.7, true)
28m 33s
build (macos-12, 3.10.1.0, 9.4.4, true)
9m 58s
build (windows-2019, 3.10.1.0, 8.10.7, true)
38m 20s
build (windows-2019, 3.10.1.0, 9.2.7, true)
24m 19s
build (windows-2019, 3.10.1.0, 9.4.4, true)
8m 56s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
32m 10s
mr-solver-tests (ubuntu-22.04)
48s
mr-solver-tests (macos-12)
1m 13s
heapster-tests (ubuntu-22.04)
2h 13m 33s
heapster-tests (macos-12)
2h 14m 2s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 53s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 3s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
49s
Test SAW exercises (8.10.7)
2m 56s
cabal-test (integration_tests, ubuntu-22.04, false)
17m 9s
cabal-test (test-sawcore, ubuntu-22.04, false)
45s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
34s
cabal-test (prover_tests, ubuntu-22.04, false)
44s
cabal-test (integration_tests, macos-12, true)
21m 0s
cabal-test (integration_tests, windows-2019, true, 60)
22m 40s
Test s2n proofs (hmac, 8.10.7)
10m 16s
Test s2n proofs (drbg, 8.10.7)
4m 26s
Test s2n proofs (sike, 8.10.7)
7m 18s
Test s2n proofs (bike, 8.10.7)
9m 30s
Test s2n proofs (tls, 8.10.7)
12m 9s
Test s2n proofs (hmac-failure, 8.10.7)
5m 41s
Test s2n proofs (awslc, 8.10.7)
1h 51m 20s
Test s2n proofs (blst, 8.10.7)
20m 42s
mergify
1s
13h 2m 23s