Skip to content
SAWScript

SAWScript #2656

Sign in to view logs

SAWScript

SAWScript #2656

Run time

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