Skip to content
SAWScript

Merge pull request #1987 from GaloisInc/ghc-9.6 #3177

Sign in to view logs

Merge pull request #1987 from GaloisInc/ghc-9.6

Merge pull request #1987 from GaloisInc/ghc-9.6 #3177

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)
31m 53s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
31m 23s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
30m 30s
build-push-image
0s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
57m 7s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
35m 47s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
52m 47s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
33m 6s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
29m 56s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
31m 16s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
31m 28s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
31m 49s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 48s
mr-solver-tests (ubuntu-22.04)
31s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
2m 5s
mr-solver-tests (macos-12)
1m 9s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
35s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 10s
cabal-test (test-sawcore, ubuntu-22.04, false)
51s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
28s
Test SAW exercises (9.2.8)
2m 18s
cabal-test (prover_tests, ubuntu-22.04, false)
50s
heapster-tests (ubuntu-22.04)
20m 49s
cabal-test (integration_tests, macos-12, true)
19m 19s
heapster-tests (macos-12)
32m 54s
Test s2n proofs (hmac, 9.2.8)
7m 42s
cabal-test (integration_tests, windows-2019, true, 60)
15m 57s
Test s2n proofs (drbg, 9.2.8)
3m 29s
Test s2n proofs (sike, 9.2.8)
4m 57s
Test s2n proofs (bike, 9.2.8)
7m 50s
Test s2n proofs (tls, 9.2.8)
5m 25s
Test s2n proofs (hmac-failure, 9.2.8)
4m 39s
Test s2n proofs (awslc, 9.2.8)
41m 46s
Test s2n proofs (blst, 9.2.8)
11m 5s
mergify
1s
9h 53m 46s