Skip to content
SAWScript

Merge pull request #1971 from GaloisInc/T1970 #3182

Sign in to view logs

Merge pull request #1971 from GaloisInc/T1970

Merge pull request #1971 from GaloisInc/T1970 #3182

Run time

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