Skip to content
SAWScript

Merge pull request #1969 from GaloisInc/T1968 #3129

Sign in to view logs

Merge pull request #1969 from GaloisInc/T1968

Merge pull request #1969 from GaloisInc/T1968 #3129

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)
26m 25s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true, false)
16m 9s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true, false)
12m 1s
build (macos-12, 3.10.1.0, 8.10.7, true, false)
32m 16s
build (macos-12, 3.10.1.0, 9.2.7, true, false)
26m 19s
build (macos-12, 3.10.1.0, 9.4.4, true, false)
13m 38s
build (windows-2019, 3.10.1.0, 9.2.7, true, false)
22m 53s
build (windows-2019, 3.10.1.0, 9.4.4, true, false)
8m 28s
build (ubuntu-20.04, 9.2.7, 3.10.1.0, false, false)
25m 14s
build (ubuntu-22.04, 9.4.4, 3.10.1.0, true, true)
7m 24s
mr-solver-tests (ubuntu-22.04)
34s
mr-solver-tests (macos-12)
1m 19s
heapster-tests (ubuntu-22.04)
31m 31s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 35s
heapster-tests (macos-12)
40m 23s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 48s
cabal-test (integration_tests, ubuntu-22.04, false)
11m 34s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 2s
cabal-test (test-sawcore, ubuntu-22.04, false)
45s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
31s
Run integration tests with coverage reporting
0s
Test SAW exercises (9.2.7)
3m 1s
cabal-test (prover_tests, ubuntu-22.04, false)
41s
cabal-test (integration_tests, macos-12, true)
15m 32s
cabal-test (integration_tests, windows-2019, true, 60)
12m 26s
Test s2n proofs (hmac, 9.2.7)
9m 56s
Test s2n proofs (drbg, 9.2.7)
3m 37s
Test s2n proofs (sike, 9.2.7)
5m 48s
Test s2n proofs (bike, 9.2.7)
7m 21s
Test s2n proofs (tls, 9.2.7)
5m 28s
Test s2n proofs (hmac-failure, 9.2.7)
6m 27s
Test s2n proofs (awslc, 9.2.7)
26m 2s
Test s2n proofs (blst, 9.2.7)
12m 52s
mergify
2s
6h 32m 9s