Skip to content

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

Merged
Anand Krishnamoorthi (anakrish) merged 3 commits into
mainfrom
dependabot/cargo/rust-dependencies-758908ad5c
Aug 13, 2026
Merged

build(deps): bump the rust-dependencies group across 5 directories with 10 updates#784
Anand Krishnamoorthi (anakrish) merged 3 commits into
mainfrom
dependabot/cargo/rust-dependencies-758908ad5c

ci(verus): align Verus binary with vstd dependency version

c0c753d
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Aug 13, 2026 in 2s

1 configuration not found

Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main was not found:

API upload

  • ❓  <default>

View all branch alerts.