Skip to content
Attempt CBMC update

Attempt CBMC update #6

Sign in to view logs

Attempt CBMC update

Attempt CBMC update #6

Triggered via schedule September 2, 2024 04:37
@carolynzechcarolynzech
⁠ 2960f80
main
Status Success
Total duration 31m 11s
Artifacts –

cbmc-update.yml

on: schedule
create-cargo-update-pr
31m 1s
create-cargo-update-pr
Fit to window
Zoom out
Zoom in