Skip to content
SAWScript

Support ghost values in all language backends #3186

Sign in to view logs

Support ghost values in all language backends

Support ghost values in all language backends #3186

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