Skip to content

Pull requests: leynos/whitaker

New pull request New
14 Open 180 Closed
14 Open 180 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

Plan: add shared argument and paragraph fingerprint data models
#224 opened Apr 23, 2026 by leynos Owner • Draft
2
Centralize component install failure message in tests
#222 opened Apr 23, 2026 by leynos Owner • Draft
2
Add unit tests and document unwrap exception behavior
#221 opened Apr 23, 2026 by leynos Owner • Draft
2
Expand failure_mocks: helpers, constants, tests, and docs Roadmap
#220 opened Apr 22, 2026 by leynos Owner Loading…
35
Bridge lemma for FragmentId ordering; Verus proof for CandidatePair::new
#218 opened Apr 21, 2026 by leynos Owner • Draft
4
Implement dynamic test fixtures for lint exclusions
#214 opened Apr 15, 2026 by leynos Owner • Draft
1
4
Split CI into dedicated Linux and Windows lanes with sccache
#213 opened Apr 15, 2026 by leynos Owner Loading…
11
Propagate_labels: implement and verify Kani harnesses (6.4.6) Issue
#208 opened Apr 13, 2026 by leynos Owner Loading…
30
Plan auto capture of provenance metadata (2.2.5 ExecPlan)
#147 opened Feb 18, 2026 by leynos Owner • 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.