Skip to content
SAWScript

Add unfolding_fix_once. #3265

Sign in to view logs

Add unfolding_fix_once.

Add unfolding_fix_once. #3265

Run time

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