Skip to content

Pull requests: duckki/leanfmt

New pull requestNew
3 Open 0 Closed
3 Open 0 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 reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

test(cli): avoid subprocess suite hang
#3 opened Aug 15, 2026 by duckkiOwner • Draft
Bump actions/checkout from 4 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2 opened Jul 19, 2026 by dependabotBotLoading…
Bump actions/github-script from 8 to 9 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1 opened Jul 19, 2026 by dependabotBotLoading…
ProTip! Updated in the last three days: updated:>2026-08-21.