Skip to content
SAWScript

Bump submodules. #3285

Sign in to view logs

Bump submodules.

Bump submodules. #3285

Run time

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