Skip to content
Run CBMC proofs

ci: make start_codebuild.sh work for forks (#5178) #8385

Sign in to view logs

ci: make start_codebuild.sh work for forks (#5178)

ci: make start_codebuild.sh work for forks (#5178) #8385

Triggered via push March 12, 2025 01:34
@github-merge-queuegithub-merge-queue[bot]
pushed d1abf08
gh-readonly-queue/main/pr-5178-865c95df9ba81858be8a046686a1f3531d67c43a
Status Success
Total duration 34m 17s
Artifacts 1

proof_ci.yaml

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

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_s2n-tls_2025_03_12_02_07_25
331 MB