Skip to content
SAWScript

Support pair equality in rewriter. (#2009) #3280

Sign in to view logs

Support pair equality in rewriter. (#2009)

Support pair equality in rewriter. (#2009) #3280

Run time

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