Skip to content
SAWScript

Add some autogenerated directories under intTests/ to .gitignore #2868

Sign in to view logs

Add some autogenerated directories under intTests/ to .gitignore

Add some autogenerated directories under intTests/ to .gitignore #2868

Run time

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