-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: provero-org/provero
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump actions/checkout from 4 to 7
area/ci
CI/CD and workflows
ci
dependencies
Dependency updates
size/s
#166
opened Jun 20, 2026 by
dependabot
Bot
Loading…
feat: add description field to check config (#164)
area/core
Engine, compiler, optimizer, results
area/tests
Test suite
#165
opened Jun 13, 2026 by
ramananayak
Loading…
5 of 6 tasks
chore(deps): bump the minor-and-patch group across 1 directory with 8 updates
dependencies
Dependency updates
size/m
#162
opened May 30, 2026 by
dependabot
Bot
Loading…
Update constraint files
ci
dependencies
Dependency updates
#159
opened May 4, 2026 by
github-actions
Bot
Loading…
ProTip!
Follow long discussions with comments:>50.