Skip to content
SAWScript

crux-mir-comp: Support nightly-2023-01-23 #2731

Sign in to view logs

crux-mir-comp: Support nightly-2023-01-23

crux-mir-comp: Support nightly-2023-01-23 #2731

Run time

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