Skip to content
SAWScript

Start a SAW Rust verification tutorial #3221

Sign in to view logs

Start a SAW Rust verification tutorial

Start a SAW Rust verification tutorial #3221

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
7s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
18m 25s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
4m 59s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
3m 29s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
23m 0s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
10m 29s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
5m 7s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
20m 18s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
8m 26s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
8m 2s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
16m 48s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
10m 2s
mr-solver-tests (ubuntu-22.04)
52s
mr-solver-tests (macos-12)
1m 14s
heapster-tests (ubuntu-22.04)
18m 20s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 39s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 15s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 25s
heapster-tests (macos-12)
41m 39s
cabal-test (test-sawcore, ubuntu-22.04, false)
39s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 3s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
2m 4s
cabal-test (prover_tests, ubuntu-22.04, false)
58s
cabal-test (integration_tests, macos-12, true)
21m 42s
cabal-test (integration_tests, windows-2019, true, 60)
15m 23s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
14m 7s
Test SAW exercises (9.2.8)
2m 40s
Test s2n proofs (hmac, 9.2.8)
6m 53s
Test s2n proofs (drbg, 9.2.8)
3m 41s
Test s2n proofs (sike, 9.2.8)
4m 56s
Test s2n proofs (bike, 9.2.8)
7m 17s
Test s2n proofs (tls, 9.2.8)
3m 54s
Test s2n proofs (hmac-failure, 9.2.8)
4m 2s
Test s2n proofs (awslc, 9.2.8)
25m 39s
Test s2n proofs (blst, 9.2.8)
9m 44s
mergify
1s
5h 29m 19s