Skip to content
SAWScript

Support ghost values in all language backends #3103

Sign in to view logs

Support ghost values in all language backends

Support ghost values in all language backends #3103

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
14s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true, false)
36m 14s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
21m 45s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
6m 2s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
44m 33s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
29m 38s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
11m 48s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
27m 50s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
9m 3s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
47m 16s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
13m 19s
heapster-tests (ubuntu-22.04)
39m 12s
mr-solver-tests (ubuntu-22.04)
52s
mr-solver-tests (macos-12)
52s
heapster-tests (macos-12)
42m 57s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 27s
cabal-test (integration_tests, ubuntu-22.04, false)
13m 7s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 6s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 2s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 12s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
46s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
19m 25s
Test SAW exercises (9.2.7)
3m 19s
cabal-test (prover_tests, ubuntu-22.04, false)
32s
cabal-test (integration_tests, macos-12, true)
16m 53s
Test s2n proofs (hmac, 9.2.7)
7m 48s
cabal-test (integration_tests, windows-2019, true, 60)
27m 19s
Test s2n proofs (drbg, 9.2.7)
4m 23s
Test s2n proofs (sike, 9.2.7)
5m 38s
Test s2n proofs (bike, 9.2.7)
12m 35s
Test s2n proofs (tls, 9.2.7)
5m 40s
Test s2n proofs (hmac-failure, 9.2.7)
4m 27s
Test s2n proofs (awslc, 9.2.7)
46m 32s
Test s2n proofs (blst, 9.2.7)
11m 44s
mergify
0s
8h 38m 30s