Skip to content
SAWScript

Add llvm_ffi_setup command #3057

Sign in to view logs

Add llvm_ffi_setup command

Add llvm_ffi_setup command #3057

Run time

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