Skip to content
SAWScript

Prototype mir_verify command #2795

Sign in to view logs

Prototype mir_verify command

Prototype mir_verify command #2795

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)
31m 3s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
28m 41s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
9m 2s
build (macos-12, 3.10.1.0, 8.10.7, true)
44m 4s
build (macos-12, 3.10.1.0, 9.2.7, true)
41m 38s
build (macos-12, 3.10.1.0, 9.4.4, true)
17m 31s
build (windows-2019, 3.10.1.0, 8.10.7, true)
38m 19s
build (windows-2019, 3.10.1.0, 9.2.7, true)
26m 21s
build (windows-2019, 3.10.1.0, 9.4.4, true)
11m 52s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
32m 3s
build-push-image
0s
heapster-tests (ubuntu-22.04)
2h 30m 29s
heapster-tests (macos-12)
2h 18m 55s
Test s2n proofs (hmac, 8.10.7)
8m 22s
Test s2n proofs (drbg, 8.10.7)
4m 17s
Test s2n proofs (sike, 8.10.7)
6m 0s
Test s2n proofs (bike, 8.10.7)
9m 19s
Test s2n proofs (tls, 8.10.7)
12m 1s
Test s2n proofs (hmac-failure, 8.10.7)
6m 59s
Test s2n proofs (awslc, 8.10.7)
1h 19m 10s
Test s2n proofs (blst, 8.10.7)
18m 18s
mr-solver-tests (ubuntu-22.04)
38s
mr-solver-tests (macos-12)
1m 17s
Test SAW exercises (8.10.7)
2m 53s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 16s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 0s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
44s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 37s
cabal-test (test-sawcore, ubuntu-22.04, false)
46s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
1m 3s
cabal-test (prover_tests, ubuntu-22.04, false)
49s
cabal-test (integration_tests, macos-12, true)
21m 30s
cabal-test (integration_tests, windows-2019, true, 60)
19m 1s
mergify
1s
13h 2m 7s