Skip to content
SAWScript

Fix parse error on \n #2887

Sign in to view logs

Fix parse error on \n

Fix parse error on \n #2887

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