Skip to content
SAWScript

Merge pull request #1873 from GaloisInc/solver-caching #2765

Sign in to view logs

Merge pull request #1873 from GaloisInc/solver-caching

Merge pull request #1873 from GaloisInc/solver-caching #2765

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
7s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
31m 57s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
20m 26s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
21m 27s
build (macos-12, 3.10.1.0, 8.10.7, true)
43m 37s
build (macos-12, 3.10.1.0, 9.2.7, true)
27m 33s
build (macos-12, 3.10.1.0, 9.4.4, true)
22m 11s
build (windows-2019, 3.10.1.0, 8.10.7, true)
47m 54s
build (windows-2019, 3.10.1.0, 9.2.7, true)
25m 20s
build (windows-2019, 3.10.1.0, 9.4.4, true)
21m 2s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
31m 36s
build-push-image
0s
heapster-tests (ubuntu-22.04)
2h 29m 50s
heapster-tests (macos-12)
2h 9m 5s
Test SAW exercises (8.10.7)
3m 2s
mr-solver-tests (ubuntu-22.04)
47s
mr-solver-tests (macos-12)
1m 10s
cabal-test (integration_tests, ubuntu-22.04, false)
17m 11s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 6s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
44s
cabal-test (prover_tests, ubuntu-22.04, false)
32s
cabal-test (integration_tests, macos-12, true)
20m 3s
cabal-test (integration_tests, windows-2019, true, 60)
18m 26s
Test s2n proofs (hmac, 8.10.7)
10m 13s
Test s2n proofs (drbg, 8.10.7)
4m 52s
Test s2n proofs (sike, 8.10.7)
7m 44s
Test s2n proofs (bike, 8.10.7)
13m 14s
Test s2n proofs (tls, 8.10.7)
10m 3s
Test s2n proofs (hmac-failure, 8.10.7)
6m 2s
Test s2n proofs (awslc, 8.10.7)
1h 40m 13s
Test s2n proofs (blst, 8.10.7)
23m 37s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 6s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 11s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
43s
mergify
1s
13h 36m 5s