Skip to content
SAWScript

Bump certifi from 2022.12.7 to 2023.7.22 in /saw-remote-api/python #2759

Sign in to view logs

Bump certifi from 2022.12.7 to 2023.7.22 in /saw-remote-api/python

Bump certifi from 2022.12.7 to 2023.7.22 in /saw-remote-api/python #2759

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
30m 52s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
23m 58s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
5m 49s
build (macos-12, 3.10.1.0, 8.10.7, true)
43m 15s
build (macos-12, 3.10.1.0, 9.2.7, true)
25m 1s
build (macos-12, 3.10.1.0, 9.4.4, true)
15m 37s
build (windows-2019, 3.10.1.0, 8.10.7, true)
35m 59s
build (windows-2019, 3.10.1.0, 9.2.7, true)
22m 11s
build (windows-2019, 3.10.1.0, 9.4.4, true)
8m 55s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
34m 11s
mr-solver-tests (ubuntu-22.04)
34s
mr-solver-tests (macos-12)
1m 1s
heapster-tests (ubuntu-22.04)
2h 25m 35s
heapster-tests (macos-12)
2h 14m 7s
Test s2n proofs (hmac, 8.10.7)
8m 57s
Test s2n proofs (drbg, 8.10.7)
5m 58s
Test s2n proofs (sike, 8.10.7)
8m 41s
Test s2n proofs (bike, 8.10.7)
9m 56s
Test s2n proofs (tls, 8.10.7)
11m 41s
Test s2n proofs (hmac-failure, 8.10.7)
6m 17s
Test s2n proofs (awslc, 8.10.7)
1h 12m 37s
Test s2n proofs (blst, 8.10.7)
19m 48s
cabal-test (integration_tests, ubuntu-22.04, false)
15m 5s
cabal-test (test-sawcore, ubuntu-22.04, false)
44s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
34s
cabal-test (prover_tests, ubuntu-22.04, false)
45s
cabal-test (integration_tests, macos-12, true)
20m 9s
cabal-test (integration_tests, windows-2019, true, 60)
21m 16s
Test SAW exercises (8.10.7)
4m 14s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
2m 29s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 6s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
1m 2s
mergify
1s
12h 19m 31s