-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: leynos/theoremc
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Build(deps): bump syn from 2.0.119 to 3.0.3
cargo
Dependabot channel for Rust crate updates.
dependencies
Dependency updates, applied to every Dependabot pull request.
#87
opened Aug 20, 2026 by
dependabot
Bot
Loading…
Adopt RFC 0001 and preserve the vertical-slice path
documentation
Improvements or additions to documentation
enhancement
New feature or request
Issue
medium
Roadmap items to schedule within the current quarter. Clear scope, normal review cycles.
Roadmap
#85
opened Aug 19, 2026 by
leynos
Owner
Loading…
Align Dependabot coverage and add the dev-fast build fragment
#82
opened Aug 13, 2026 by
leynos
Owner
Loading…
Build(deps): bump prettyplease from 0.2.37 to 0.3.0
cargo
Dependabot channel for Rust crate updates.
dependencies
Dependency updates, applied to every Dependabot pull request.
#78
opened Jul 30, 2026 by
dependabot
Bot
Loading…
ProTip!
Filter pull requests by the default branch with base:main.