Skip to content
SAWScript

Find SMT array write of a fixed size. #2682

Sign in to view logs

Find SMT array write of a fixed size.

Find SMT array write of a fixed size. #2682

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
10s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
33m 15s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
18m 57s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
13m 35s
build (macos-12, 3.10.1.0, 8.10.7, true)
46m 1s
build (macos-12, 3.10.1.0, 9.2.7, true)
30m 35s
build (macos-12, 3.10.1.0, 9.4.4, true)
19m 20s
build (windows-latest, 3.10.1.0, 8.10.7, true)
40m 30s
build (windows-latest, 3.10.1.0, 9.2.7, true)
22m 2s
build (windows-latest, 3.10.1.0, 9.4.4, true)
17m 53s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
34m 0s
build-push-image
0s
mr-solver-tests (ubuntu-22.04)
46s
mr-solver-tests (macos-12)
46s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 19s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 30s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
50s
Test SAW exercises (8.10.7)
3m 13s
cabal-test (integration_tests, ubuntu-22.04, false)
13m 44s
cabal-test (test-sawcore, ubuntu-22.04, false)
49s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
26s
cabal-test (prover_tests, ubuntu-22.04, false)
47s
cabal-test (integration_tests, macos-12, true)
20m 15s
cabal-test (integration_tests, windows-latest, true, 60)
21m 55s
heapster-tests (ubuntu-22.04)
2h 16m 13s
heapster-tests (macos-12)
2h 25m 12s
Test s2n proofs (hmac, 8.10.7)
11m 7s
Test s2n proofs (drbg, 8.10.7)
4m 53s
Test s2n proofs (sike, 8.10.7)
7m 13s
Test s2n proofs (bike, 8.10.7)
10m 39s
Test s2n proofs (tls, 8.10.7)
10m 28s
Test s2n proofs (hmac-failure, 8.10.7)
6m 6s
Test s2n proofs (awslc, 8.10.7)
1h 33m 50s
Test s2n proofs (blst, 8.10.7)
18m 11s
mergify
0s
13h 7m 30s