Skip to content
SAWScript

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

Sign in to view logs

Add some autogenerated directories under intTests/ to .gitignore

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

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)
34m 40s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
27m 8s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
8m 32s
build (macos-12, 3.10.1.0, 8.10.7, true)
50m 15s
build (macos-12, 3.10.1.0, 9.2.7, true)
31m 52s
build (macos-12, 3.10.1.0, 9.4.4, true)
17m 3s
build (windows-2019, 3.10.1.0, 8.10.7, true)
36m 13s
build (windows-2019, 3.10.1.0, 9.2.7, true)
26m 12s
build (windows-2019, 3.10.1.0, 9.4.4, true)
10m 55s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
32m 35s
build-push-image
0s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 18s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
4m 0s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
54s
mr-solver-tests (ubuntu-22.04)
48s
mr-solver-tests (macos-12)
2m 5s
Test s2n proofs (hmac, 8.10.7)
11m 35s
Test s2n proofs (drbg, 8.10.7)
5m 0s
Test s2n proofs (sike, 8.10.7)
7m 19s
Test s2n proofs (bike, 8.10.7)
10m 51s
Test s2n proofs (tls, 8.10.7)
11m 50s
Test s2n proofs (hmac-failure, 8.10.7)
5m 35s
Test s2n proofs (awslc, 8.10.7)
1h 56m 13s
Test s2n proofs (blst, 8.10.7)
17m 15s
heapster-tests (ubuntu-22.04)
2h 25m 0s
heapster-tests (macos-12)
2h 23m 38s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 41s
cabal-test (test-sawcore, ubuntu-22.04, false)
52s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
48s
cabal-test (prover_tests, ubuntu-22.04, false)
39s
cabal-test (integration_tests, macos-12, true)
21m 54s
cabal-test (integration_tests, windows-2019, true, 60)
18m 50s
Test SAW exercises (8.10.7)
3m 0s
mergify
1s
13h 40m 38s