Skip to content
SAWScript

Merge pull request #1986 from GaloisInc/T1985 #3208

Sign in to view logs

Merge pull request #1986 from GaloisInc/T1985

Merge pull request #1986 from GaloisInc/T1985 #3208

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)
18m 33s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
6m 51s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
5m 18s
build-push-image
0s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
27m 46s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
13m 15s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
18m 1s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 35s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
12m 47s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
13m 44s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
17m 53s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
8m 46s
heapster-tests (ubuntu-22.04)
17m 54s
heapster-tests (macos-12)
3m 47s
cabal-test (integration_tests, ubuntu-22.04, false)
9m 57s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 7s
cabal-test (test-sawcore, ubuntu-22.04, false)
38s
mr-solver-tests (ubuntu-22.04)
31s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 53s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
35s
mr-solver-tests (macos-12)
1m 19s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
35s
cabal-test (prover_tests, ubuntu-22.04, false)
26s
cabal-test (integration_tests, macos-12, true)
22m 56s
Run integration tests with coverage reporting
0s
cabal-test (integration_tests, windows-2019, true, 60)
15m 27s
Test SAW exercises (9.2.8)
2m 38s
Test s2n proofs (hmac, 9.2.8)
6m 27s
Test s2n proofs (drbg, 9.2.8)
3m 31s
Test s2n proofs (sike, 9.2.8)
4m 41s
Test s2n proofs (bike, 9.2.8)
7m 18s
Test s2n proofs (tls, 9.2.8)
3m 33s
Test s2n proofs (hmac-failure, 9.2.8)
4m 9s
Test s2n proofs (awslc, 9.2.8)
26m 19s
Test s2n proofs (blst, 9.2.8)
9m 28s
mergify
0s
5h 8m 47s