Skip to content
Back to pull request #2013

Changes to X86_64 verification. #3294

Sign in to view logs

Changes to X86_64 verification.

Changes to X86_64 verification. #3294

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
10s
build (ubuntu-22.04, 3.10.1.0, 9.2.8, true, false)
17m 11s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 9.4.8, true, false)
6m 2s
build (ubuntu-22.04, 3.10.1.0, 9.6.3, true, false)
4m 22s
build (macos-12, 3.10.1.0, 9.2.8, true, false)
21m 55s
build (macos-12, 3.10.1.0, 9.4.8, true, false)
7m 8s
build (macos-12, 3.10.1.0, 9.6.3, true, false)
6m 3s
build (windows-2019, 3.10.1.0, 9.2.8, true, false)
19m 11s
build (windows-2019, 3.10.1.0, 9.4.8, true, false)
17m 1s
build (windows-2019, 3.10.1.0, 9.6.3, true, false)
17m 59s
build (ubuntu-20.04, 9.2.8, 3.10.1.0, false, false)
17m 25s
build (ubuntu-22.04, 9.4.8, 3.10.1.0, true, true)
9m 45s
heapster-tests (ubuntu-22.04)
18m 19s
heapster-tests (macos-12)
27m 56s
Run integration tests with coverage reporting (integration_tests, ubuntu-22.04)
14m 8s
mr-solver-tests (ubuntu-22.04)
53s
cabal-test (integration_tests, ubuntu-22.04, false)
11m 22s
mr-solver-tests (macos-12)
49s
cabal-test (test-sawcore, ubuntu-22.04, false)
56s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
32s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 46s
cabal-test (prover_tests, ubuntu-22.04, false)
27s
Test SAW exercises (9.2.8)
2m 57s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry install poetry run mypy ...
1m 28s
cabal-test (integration_tests, macos-12, true)
19m 43s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
54s
cabal-test (integration_tests, windows-2019, true, 60)
16m 46s
Test s2n proofs (hmac, 9.2.8)
6m 24s
Test s2n proofs (drbg, 9.2.8)
3m 38s
Test s2n proofs (sike, 9.2.8)
5m 12s
Test s2n proofs (bike, 9.2.8)
7m 41s
Test s2n proofs (tls, 9.2.8)
5m 31s
Test s2n proofs (hmac-failure, 9.2.8)
4m 13s
Test s2n proofs (awslc, 9.2.8)
40m 44s
Test s2n proofs (blst, 9.2.8)
10m 45s
mergify
1s
5h 47m 17s