Skip to content
Run CBMC proofs

build(deps): update rand requirement in /bindings/rust/extended #7787

Sign in to view logs

build(deps): update rand requirement in /bindings/rust/extended

build(deps): update rand requirement in /bindings/rust/extended #7787

Triggered via push February 8, 2025 00:01
@dependabotdependabot[bot]
pushed eb86780
dependabot/cargo/bindings/rust/extended/rand-0.9
Status Success
Total duration 27m 56s
Artifacts 1

proof_ci.yaml

on: push
run_cbmc_proofs
27m 37s
run_cbmc_proofs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
cbmc_proof_results_s2n-tls_2025_02_08_00_28_54
339 MB