Skip to content

Pull requests: argumentcomputer/LSpec

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

chore(deps): bump actions/checkout from 6 to 7 in the actions-dependencies group dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#78 opened Jun 22, 2026 by dependabot Bot Loading…
feat: update to lean v4.31.0
#77 opened Jun 16, 2026 by srghma Loading…
ProTip! What’s not been updated in a month: updated:<2026-05-27.