forked from aallan/vera
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: chethanuk/vera
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
docs: distribution policy — git-clone now, veralang later (#737)
#8
opened Jul 10, 2026 by
chethanuk
Owner
Loading…
fix(tooling): honour diag-fields-exempt for unresolvable fields in all 3 passes
size:L
This PR changes 100-499 lines, ignoring generated files
#7
opened Jul 8, 2026 by
chethanuk
Owner
Loading…
6 tasks done
fix(tooling): require the plumbing-skip's sole ctor be reachable as the helper's result
size:L
This PR changes 100-499 lines, ignoring generated files
#6
opened Jul 8, 2026 by
chethanuk
Owner
Loading…
6 tasks done
ci: add ubuntu-24.04-arm to the test matrix
size:S
This PR changes 10-29 lines, ignoring generated files
#5
opened Jul 8, 2026 by
chethanuk
Owner
Loading…
2 of 3 tasks
ci: add scheduled workflow for check_limitations_sync.py --check-states
size:M
This PR changes 30-99 lines, ignoring generated files
#4
opened Jul 8, 2026 by
chethanuk
Owner
Loading…
4 tasks done
fix(smt): check preconditions of calls nested in effect-op arguments (#776)
size:XXL
This PR changes 1000+ lines, ignoring generated files
#3
opened Jul 6, 2026 by
chethanuk
Owner
Loading…
9 of 10 tasks
fix(tooling): narrow diagnostic plumbing-skip to enclosed ctor
size:L
This PR changes 100-499 lines, ignoring generated files
#2
opened Jul 6, 2026 by
chethanuk
Owner
Loading…
5 tasks done
test: extend TestErrorDisplaySync to build_site.py and AGENTS.md mirrors
size:L
This PR changes 100-499 lines, ignoring generated files
#1
opened Jul 5, 2026 by
chethanuk
Owner
Loading…
5 of 6 tasks
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.