Skip to content

Pull requests: leynos/whitaker

New pull request New
13 Open 151 Closed
13 Open 151 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Lower bumpy_road_function detection threshold to 2.5
#192 opened Apr 7, 2026 by leynos • Draft
4 tasks done
1
4
Broaden no_expect lint for path-loaded test modules (tokio, rstest, cfg)
#191 opened Apr 7, 2026 by leynos • Draft
1
2
Enrich panic detection for interpolation in tests
#190 opened Apr 7, 2026 by leynos • Draft
3 tasks done
1
2
Implement Kani verification for build_adjacency (6.4.5)
#186 opened Apr 3, 2026 by leynos • Draft
2
Emit Run 0 SARIF for accepted Type-1 and Type-2 clone pairs Roadmap
#173 opened Mar 29, 2026 by leynos Loading…
68
Add ADR for mixed Verus/Kani proof strategy and roadmap updates
#172 opened Mar 29, 2026 by leynos Loading…
6
Implement shared rstest detection module (8.1.1)
#171 opened Mar 26, 2026 by leynos • Draft
4 tasks done
2
Plan auto capture of provenance metadata (2.2.5 ExecPlan)
#147 opened Feb 18, 2026 by leynos • Draft
2
Chore(deps): Bump astral-sh/setup-uv from 7.1.0 to 7.2.1
#137 opened Feb 2, 2026 by dependabot bot Loading…
2
Chore(deps): Bump leynos/shared-actions from c749ab3a96026e14051a2198bf75f94650581b75 to 9d4c046f2788decc264847622b830e2a4d35b91f
#136 opened Feb 2, 2026 by dependabot bot Loading…
2
Chore(deps): Bump oven-sh/setup-bun from 2.0.2 to 2.1.2
#126 opened Jan 19, 2026 by dependabot bot Loading…
2
Chore(deps): bump DavidAnson/markdownlint-cli2-action from 20.0.0 to 22.0.0
#85 opened Dec 15, 2025 by dependabot bot Loading…
3
Bump actions/checkout from 5 to 6
#58 opened Nov 24, 2025 by dependabot bot Loading…
2
ProTip! Filter pull requests by the default branch with base:main.