Skip to content
SAWScript

SAWScript #2781

Sign in to view logs

SAWScript

SAWScript #2781

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 17s
build-push-image (saw-remote-api/Dockerfile, ghcr.io/galoisinc/saw-remote-api, ghcr.io/galoisinc/...
3m 36s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
31m 53s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
23m 7s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
5m 52s
build (macos-12, 3.10.1.0, 8.10.7, true)
42m 30s
build (macos-12, 3.10.1.0, 9.2.7, true)
26m 23s
build (macos-12, 3.10.1.0, 9.4.4, true)
14m 38s
build (windows-2019, 3.10.1.0, 8.10.7, true)
40m 45s
build (windows-2019, 3.10.1.0, 9.2.7, true)
24m 13s
build (windows-2019, 3.10.1.0, 9.4.4, true)
8m 1s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
31m 19s
mr-solver-tests (ubuntu-22.04)
49s
mr-solver-tests (macos-12)
2m 20s
heapster-tests (ubuntu-22.04)
2h 26m 12s
heapster-tests (macos-12)
2h 11m 40s
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...
2m 59s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 5s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 9s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 14s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
33s
cabal-test (prover_tests, ubuntu-22.04, false)
35s
cabal-test (integration_tests, macos-12, true)
19m 39s
cabal-test (integration_tests, windows-2019, true, 60)
18m 48s
Test SAW exercises (8.10.7)
3m 34s
Test s2n proofs (hmac, 8.10.7)
12m 4s
Test s2n proofs (drbg, 8.10.7)
4m 11s
Test s2n proofs (sike, 8.10.7)
5m 51s
Test s2n proofs (bike, 8.10.7)
9m 49s
Test s2n proofs (tls, 8.10.7)
10m 56s
Test s2n proofs (hmac-failure, 8.10.7)
8m 46s
Test s2n proofs (awslc, 8.10.7)
1h 14m 43s
Test s2n proofs (blst, 8.10.7)
20m 59s
mergify
1s
12h 27m 3s