Skip to content

Pull requests: microsoft/regorus

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

build(deps): bump rubocop from 1.88.2 to 1.89.0 in /bindings/ruby in the per-dependency group dependencies Pull requests that update a dependency file ruby Pull requests that update Ruby code
#782 opened Aug 13, 2026 by dependabot Bot Loading…
build(deps): bump the rust-dependencies group across 5 directories with 5 updates dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#780 opened Aug 6, 2026 by dependabot Bot Loading…
Verify Number with Verus
#774 opened Jul 28, 2026 by Jay Lorch (jaylorch) Member Draft
Use centralized C# package version
#677 opened Apr 13, 2026 by Anand Krishnamoorthi (anakrish) Collaborator Loading…
fix: set default hash in case git is not available
#441 opened Jul 26, 2025 by Mats Willemsen (ma-ts) Contributor Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.