Skip to content

Pull requests: Kab1r/devirt

New pull request New
10 Open 48 Closed
10 Open 48 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

Update dependency verus-lang/verus to release/0.2026.07.12.0b42f4c
#59 opened Jul 13, 2026 by renovate Bot Loading…
1 task
Update actions/cache digest to caa2961
#54 opened Jun 26, 2026 by renovate Bot Loading…
1 task
Update actions/cache action to v6
#53 opened Jun 23, 2026 by renovate Bot Loading…
1 task
Update dtolnay/rust-toolchain digest
#49 opened Jun 21, 2026 by renovate Bot Loading…
1 task
Update actions/checkout action to v7
#48 opened Jun 18, 2026 by renovate Bot Loading…
1 task
Update Rust crate libfuzzer-sys to v0.4.13
#44 opened Jun 4, 2026 by renovate Bot Loading…
1 task
Update actions/checkout digest to df4cb1c
#43 opened Jun 3, 2026 by renovate Bot Loading…
1 task
Lock file maintenance
#42 opened May 25, 2026 by renovate Bot Loading…
1 task
Add FooBase trait so cold types can implement devirt traits without #[devirt]
#40 opened May 23, 2026 by Kab1r Owner Loading…
27
Benchmark devirt on real-world dispatch: tantivy 3.5× faster, tracing ~0%
#26 opened Apr 17, 2026 by Kab1r Owner Loading…
4 tasks done
8
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.