Skip to content

Pull requests: leynos/wireframe

New pull request New
33 Open 415 Closed
33 Open 415 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

Adopt rust-prover-tools for formal tooling (15.1.3)
#530 opened May 20, 2026 by leynos Owner • Draft
7
Approve stable public byte-container model (10.1.1) Roadmap
#529 opened May 20, 2026 by leynos Owner Loading…
6
Implement WireframeError error integration (#513)
#528 opened May 20, 2026 by leynos Owner • Draft
1
2
Add ExecPlan for wireframe-verification crate (15.1.2)
#526 opened Apr 21, 2026 by leynos Owner • Draft
2
Chore(deps): bump actions/github-script from 8 to 9
#524 opened Apr 13, 2026 by dependabot Bot Loading…
1
Inventory: Frame Vec<u8> bounds, APIs, and plan (issue 287)
#521 opened Apr 10, 2026 by leynos Owner • Draft
1 of 5 tasks
1
2
Chore(deps): bump actions/cache from 5.0.3 to 5.0.4
#519 opened Apr 6, 2026 by dependabot Bot Loading…
1
Chore(deps): bump Swatinem/rust-cache from 2.8.0 to 2.9.1
#504 opened Mar 16, 2026 by dependabot Bot Loading…
1
Chore(deps): bump actions-rust-lang/setup-rust-toolchain from 1.14.1 to 1.15.4
#503 opened Mar 16, 2026 by dependabot Bot Loading…
1
📝 CodeRabbit Chat: Implement requested code changes
#500 opened Mar 13, 2026 by coderabbitai Bot Loading…
@leynos
1
Add Dependabot Auto-merge workflow
#422 opened Jan 17, 2026 by leynos Owner • Draft
3 tasks done
2
Bump actions/checkout from 5 to 6
#396 opened Nov 24, 2025 by dependabot Bot Loading…
2
Bump tokio-util from 0.7.16 to 0.7.17
#391 opened Nov 3, 2025 by dependabot Bot Loading…
2
Bump proptest from 1.7.0 to 1.9.0
#390 opened Oct 27, 2025 by dependabot Bot Loading…
2
Bump tokio from 1.47.1 to 1.48.0
#388 opened Oct 15, 2025 by dependabot Bot Loading…
2
Bump serde from 1.0.219 to 1.0.228
#375 opened Sep 29, 2025 by dependabot Bot Loading…
2
Bump thiserror from 2.0.16 to 2.0.17
#373 opened Sep 29, 2025 by dependabot Bot Loading…
2
Add GoReleaser packaging for release builds codex
#344 opened Sep 1, 2025 by leynos Owner Loading…
8
Add man page generation to release workflow codex
#343 opened Sep 1, 2025 by leynos Owner Loading…
17
Add builder for push queues codex
#335 opened Aug 27, 2025 by leynos Owner Loading…
37
Add builder for push queues codex
#334 opened Aug 27, 2025 by leynos Owner Loading…
170
Fix rustdoc link warnings codex
#316 opened Aug 15, 2025 by leynos Owner Loading…
8
Move server tests out of module codex
#237 opened Aug 1, 2025 by leynos Owner Loading…
24
Add PushHandleInner doc comment codex
#227 opened Jul 31, 2025 by leynos Owner Loading…
15
Combine roadmap documents
#203 opened Jul 11, 2025 by leynos Owner Loading…
3
ProTip! Filter pull requests by the default branch with base:main.