-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: leynos/whitaker
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Align installer packaging binaries with workflow for whitaker lints
#196
opened Apr 10, 2026 by
leynos
Owner
Loading…
Add Verus clone-detector proof and Kani harness for LshConfig::new
Roadmap
#194
opened Apr 8, 2026 by
leynos
Owner
Loading…
Implement Kani verification for build_adjacency (6.4.5)
Roadmap
#186
opened Apr 3, 2026 by
leynos
Owner
Loading…
Chore(deps): Bump astral-sh/setup-uv from 7.1.0 to 7.2.1
#137
opened Feb 2, 2026 by
dependabot
bot
Loading…
Chore(deps): Bump leynos/shared-actions from c749ab3a96026e14051a2198bf75f94650581b75 to 9d4c046f2788decc264847622b830e2a4d35b91f
#136
opened Feb 2, 2026 by
dependabot
bot
Loading…
Chore(deps): Bump oven-sh/setup-bun from 2.0.2 to 2.1.2
#126
opened Jan 19, 2026 by
dependabot
bot
Loading…
Chore(deps): bump DavidAnson/markdownlint-cli2-action from 20.0.0 to 22.0.0
#85
opened Dec 15, 2025 by
dependabot
bot
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-03-11.