Skip to content
SAWScript

Merge pull request #2021 from GaloisInc/rust-tutorial-improvements #3332

Sign in to view logs

Merge pull request #2021 from GaloisInc/rust-tutorial-improvements

Merge pull request #2021 from GaloisInc/rust-tutorial-improvements #3332

Run time

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