Skip to content
SAWScript

Support building with GHC 9.6 #3176

Sign in to view logs

Support building with GHC 9.6

Support building with GHC 9.6 #3176

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 7s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
8m 4s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 17s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
24m 33s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
9m 28s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
6m 55s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 37s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
8m 12s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
8m 10s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 32s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
5m 22s
mr-solver-tests (ubuntu-22.04)
31s
heapster-tests (ubuntu-22.04)
20m 33s
mr-solver-tests (macos-12)
1m 47s
heapster-tests (macos-12)
43m 30s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 2s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 10s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 33s
cabal-test (test-sawcore, ubuntu-22.04, false)
57s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
34s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
30s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
12m 50s
Test SAW exercises (9.2.8)
2m 31s
cabal-test (prover_tests, ubuntu-22.04, false)
28s
cabal-test (integration_tests, macos-12, true)
18m 46s
cabal-test (integration_tests, windows-2019, true, 60)
13m 9s
Test s2n proofs (hmac, 9.2.8)
6m 53s
Test s2n proofs (drbg, 9.2.8)
3m 50s
Test s2n proofs (sike, 9.2.8)
7m 29s
Test s2n proofs (bike, 9.2.8)
7m 28s
Test s2n proofs (tls, 9.2.8)
3m 39s
Test s2n proofs (hmac-failure, 9.2.8)
4m 12s
Test s2n proofs (awslc, 9.2.8)
26m 46s
Test s2n proofs (blst, 9.2.8)
9m 27s
mergify
1s
5h 26m 59s