Skip to content
verus

build(deps): bump the rust-dependencies group across 5 directories with 10 updates #78

Sign in to view logs

build(deps): bump the rust-dependencies group across 5 directories with 10 updates

build(deps): bump the rust-dependencies group across 5 directories with 10 updates #78

Re-run triggered August 13, 2026 15:38
@anakrishanakrish
#784
dependabot/cargo/rust-dependencies-758908ad5c
Status Success
Total duration 2m 3s
Artifacts –

verus.yml

on: pull_request
verify
1m 54s
verify
Fit to window
Zoom out
Zoom in