FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Pull requests · VeraTools/Vera · GitHub

/ Vera Public

Pull requests: VeraTools/Vera

Labels 9 Milestones 0
New pull request New
9 Open 99 Closed
9 Open 99 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

fix(setup): stop auto-selecting DirectML on unconfirmed hardware
#222 opened Aug 27, 2026 by citron07r Contributor Loading…
1
21
feat(cli): say when a --path filter excluded everything
#221 opened Aug 27, 2026 by citron07r Contributor Loading…
32
fix(core): bound source reads by the limit the index was built with
#220 opened Aug 27, 2026 by citron07r Contributor Loading…
1
33
fix(parsing): key include expansions by their ancestor chain
#219 opened Aug 27, 2026 by citron07r Contributor Loading…
1
20
fix(cli): stop uninstall claiming success while a Vera binary survives
#218 opened Aug 26, 2026 by citron07r Contributor Loading…
1
39
fix(cli): let doctor report a broken config instead of dying on it
#217 opened Aug 26, 2026 by citron07r Contributor Loading…
1
6
perf(core): memoize the glob matcher's failing states
#216 opened Aug 26, 2026 by citron07r Contributor Loading…
1
6
fix(retrieval): preserve flat vector candidate depth
#207 opened Aug 26, 2026 by freaksdotcom Contributor Loading…
15
test(parsing): make the include-cycle regression test able to fail
#206 opened Aug 26, 2026 by citron07r Contributor Loading…
12
ProTip! Type g i on any issue or pull request to go back to the issue listing page.
Back | FazBrowse Home | New Git URL