build(deps): bump aws-actions/configure-aws-credentials from 4.2.0 to 4.2.1 in /.github/workflows in the all-gha-updates group #9286
dependabot[bot]proof_ci.yaml
on: pull_request
run_cbmc_proofs
28m 39s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cbmc_proof_results_s2n-tls_2025_05_15_09_22_27
|
310 MB |
sha256:ad07e09cd2e2fb64f346b5d6626db937d3f1ff640700a21fc7242e70ee6e75f6
|
|