Skip to content
SAWScript

SAWScript #2677

Sign in to view logs

SAWScript

SAWScript #2677

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