Skip to content
SAWScript

Toplevel rust translation #2801

Sign in to view logs

Toplevel rust translation

Toplevel rust translation #2801

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