Skip to content
SAWScript

Merge pull request #1962 from GaloisInc/T1961 #3101

Sign in to view logs

Merge pull request #1962 from GaloisInc/T1961

Merge pull request #1962 from GaloisInc/T1961 #3101

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, false)
41m 35s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
20m 33s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
6m 8s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
34m 48s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
24m 15s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
19m 12s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
27m 18s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
8m 24s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
46m 20s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
10m 33s
mr-solver-tests (ubuntu-22.04)
36s
mr-solver-tests (macos-12)
54s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 47s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 5s
heapster-tests (ubuntu-22.04)
29m 0s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
44s
heapster-tests (macos-12)
41m 14s
cabal-test (integration_tests, ubuntu-22.04, false)
10m 55s
cabal-test (test-sawcore, ubuntu-22.04, false)
49s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
56s
Test SAW exercises (9.2.7)
3m 3s
cabal-test (prover_tests, ubuntu-22.04, false)
54s
Test s2n proofs (hmac, 9.2.7)
11m 4s
cabal-test (integration_tests, macos-12, true)
17m 43s
Test s2n proofs (drbg, 9.2.7)
4m 26s
cabal-test (integration_tests, windows-2019, true, 60)
24m 17s
Test s2n proofs (sike, 9.2.7)
6m 51s
Test s2n proofs (bike, 9.2.7)
12m 33s
Test s2n proofs (tls, 9.2.7)
6m 49s
Run integration tests with coverage reporting
0s
Test s2n proofs (hmac-failure, 9.2.7)
5m 11s
Test s2n proofs (awslc, 9.2.7)
59m 7s
Test s2n proofs (blst, 9.2.7)
16m 51s
mergify
1s
8h 18m 3s