Skip to content
SAWScript

Support mir_alloc, mir_alloc_mut, and mir_points_to #2860

Sign in to view logs

Support mir_alloc, mir_alloc_mut, and mir_points_to

Support mir_alloc, mir_alloc_mut, and mir_points_to #2860

Run time

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