Skip to content
SAWScript

Support ghost values in all language backends #3104

Sign in to view logs

Support ghost values in all language backends

Support ghost values in all language backends #3104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
11s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
38m 40s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
29m 13s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
6m 27s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
46m 8s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
22m 33s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
13m 30s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
24m 58s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
10m 28s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
26m 15s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
11m 18s
cabal-test (integration_tests, ubuntu-22.04, false)
12m 54s
mr-solver-tests (ubuntu-22.04)
52s
heapster-tests (ubuntu-22.04)
37m 43s
cabal-test (test-sawcore, ubuntu-22.04, false)
41s
mr-solver-tests (macos-12)
1m 2s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 1s
heapster-tests (macos-12)
41m 34s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
52s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 18s
cabal-test (prover_tests, ubuntu-22.04, false)
51s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
48s
cabal-test (integration_tests, macos-12, true)
17m 24s
cabal-test (integration_tests, windows-2019, true, 60)
26m 54s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
15m 7s
Test SAW exercises (9.2.7)
3m 6s
Test s2n proofs (hmac, 9.2.7)
8m 24s
Test s2n proofs (drbg, 9.2.7)
4m 44s
Test s2n proofs (sike, 9.2.7)
5m 42s
Test s2n proofs (bike, 9.2.7)
8m 52s
Test s2n proofs (tls, 9.2.7)
4m 43s
Test s2n proofs (hmac-failure, 9.2.7)
5m 2s
Test s2n proofs (awslc, 9.2.7)
56m 46s
Test s2n proofs (blst, 9.2.7)
13m 59s
mergify
1s
8h 22m 1s