Skip to content
SAWScript

Update Heapster, Monadification, and MRSolver to handle high-order SpecM functions #3313

Sign in to view logs

Update Heapster, Monadification, and MRSolver to handle high-order SpecM functions

Update Heapster, Monadification, and MRSolver to handle high-order SpecM functions #3313

Run time

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