Skip to content
SAWScript

SAWScript #3095

Sign in to view logs

SAWScript

SAWScript #3095

Run time

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