Skip to content
SAWScript

Merge pull request #1898 from GaloisInc/dependabot/pip/saw-remote-api… #2761

Sign in to view logs

Merge pull request #1898 from GaloisInc/dependabot/pip/saw-remote-api…

Merge pull request #1898 from GaloisInc/dependabot/pip/saw-remote-api… #2761

Run time

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