Skip to content
Run CBMC proofs

build(deps): bump actions/upload-artifact in /.github/workflows #6980

Sign in to view logs

build(deps): bump actions/upload-artifact in /.github/workflows

build(deps): bump actions/upload-artifact in /.github/workflows #6980

Triggered via push December 6, 2024 09:02
@dependabotdependabot[bot]
pushed db0d6f1
dependabot/github_actions/dot-github/workflows/actions/upload-artifact-4
Status Success
Total duration 34m 40s
Artifacts 1

proof_ci.yaml

on: push
run_cbmc_proofs
32m 23s
run_cbmc_proofs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_s2n-tls_2024_12_06_09_35_57
348 MB