Skip to content
SAWScript

SAWScript #2758

Sign in to view logs

SAWScript

SAWScript #2758

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 20s
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, 8.10.7, true)
1h 22m 37s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
52m 29s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
50m 12s
build (macos-12, 3.10.1.0, 8.10.7, true)
43m 51s
build (macos-12, 3.10.1.0, 9.2.7, true)
55m 21s
build (macos-12, 3.10.1.0, 9.4.4, true)
55m 3s
build (windows-2019, 3.10.1.0, 8.10.7, true)
1h 14m 52s
build (windows-2019, 3.10.1.0, 9.2.7, true)
25m 4s
build (windows-2019, 3.10.1.0, 9.4.4, true)
7m 59s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
55m 14s
heapster-tests (ubuntu-22.04)
2h 29m 35s
heapster-tests (macos-12)
2h 14m 5s
mr-solver-tests (ubuntu-22.04)
52s
mr-solver-tests (macos-12)
56s
Test SAW exercises (8.10.7)
3m 6s
cabal-test (integration_tests, ubuntu-22.04, false)
19m 0s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 3s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
53s
cabal-test (prover_tests, ubuntu-22.04, false)
34s
cabal-test (integration_tests, macos-12, true)
19m 49s
cabal-test (integration_tests, windows-2019, true, 60)
22m 36s
Test s2n proofs (hmac, 8.10.7)
8m 58s
Test s2n proofs (drbg, 8.10.7)
4m 53s
Test s2n proofs (sike, 8.10.7)
7m 1s
Test s2n proofs (bike, 8.10.7)
9m 31s
Test s2n proofs (tls, 8.10.7)
10m 42s
Test s2n proofs (hmac-failure, 8.10.7)
8m 2s
Test s2n proofs (awslc, 8.10.7)
1h 16m 22s
Test s2n proofs (blst, 8.10.7)
19m 43s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 4s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 57s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 0s
mergify
0s
16h 49m 41s