Skip to content
SAWScript

Merge pull request #1916 from GaloisInc/T1859-mir-verify-points-to #2864

Sign in to view logs

Merge pull request #1916 from GaloisInc/T1859-mir-verify-points-to

Merge pull request #1916 from GaloisInc/T1859-mir-verify-points-to #2864

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
45m 42s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
27m 30s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
8m 43s
build (macos-12, 3.10.1.0, 8.10.7, true)
49m 35s
build (macos-12, 3.10.1.0, 9.2.7, true)
30m 32s
build (macos-12, 3.10.1.0, 9.4.4, true)
16m 41s
build (windows-2019, 3.10.1.0, 8.10.7, true)
37m 53s
build (windows-2019, 3.10.1.0, 9.2.7, true)
29m 29s
build (windows-2019, 3.10.1.0, 9.4.4, true)
10m 33s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
37m 57s
build-push-image
0s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 15s
cabal-test (test-sawcore, ubuntu-22.04, false)
44s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
43s
cabal-test (prover_tests, ubuntu-22.04, false)
27s
cabal-test (integration_tests, macos-12, true)
19m 27s
cabal-test (integration_tests, windows-2019, true, 60)
22m 47s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 56s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
1m 44s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
53s
heapster-tests (ubuntu-22.04)
2h 10m 57s
heapster-tests (macos-12)
2h 20m 21s
mr-solver-tests (ubuntu-22.04)
39s
mr-solver-tests (macos-12)
49s
Test SAW exercises (8.10.7)
3m 30s
Test s2n proofs (hmac, 8.10.7)
8m 44s
Test s2n proofs (drbg, 8.10.7)
4m 10s
Test s2n proofs (sike, 8.10.7)
6m 11s
Test s2n proofs (bike, 8.10.7)
11m 30s
Test s2n proofs (tls, 8.10.7)
9m 54s
Test s2n proofs (hmac-failure, 8.10.7)
7m 5s
Test s2n proofs (awslc, 8.10.7)
1h 49m 55s
Test s2n proofs (blst, 8.10.7)
24m 52s
mergify
1s
13h 36m 15s