Skip to content
SAWScript

SAWScript #2660

Sign in to view logs

SAWScript

SAWScript #2660

Run time

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