Skip to content
Back to pull request #1969

README: Note GHC 9.2.6-or-later requirement #3128

Sign in to view logs

README: Note GHC 9.2.6-or-later requirement

README: Note GHC 9.2.6-or-later requirement #3128

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, false)
33m 17s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
16m 40s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
8m 10s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
33m 8s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
27m 35s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
11m 36s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
32m 39s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
8m 23s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
16m 9s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
7m 46s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 21s
mr-solver-tests (ubuntu-22.04)
33s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
2m 56s
heapster-tests (ubuntu-22.04)
27m 46s
mr-solver-tests (macos-12)
1m 12s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 17s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
42s
heapster-tests (macos-12)
38m 13s
cabal-test (test-sawcore, ubuntu-22.04, false)
51s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
41s
cabal-test (prover_tests, ubuntu-22.04, false)
52s
cabal-test (integration_tests, macos-12, true)
17m 11s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
14m 9s
Test SAW exercises (9.2.7)
3m 36s
cabal-test (integration_tests, windows-2019, true, 60)
17m 42s
Test s2n proofs (hmac, 9.2.7)
10m 34s
Test s2n proofs (drbg, 9.2.7)
5m 12s
Test s2n proofs (sike, 9.2.7)
6m 20s
Test s2n proofs (bike, 9.2.7)
10m 19s
Test s2n proofs (tls, 9.2.7)
5m 52s
Test s2n proofs (hmac-failure, 9.2.7)
4m 3s
Test s2n proofs (awslc, 9.2.7)
35m 36s
Test s2n proofs (blst, 9.2.7)
15m 21s
mergify
1s
7h 11m 51s