generated from best-of-lists/best-of
-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: 34j/best-of-lean4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): update stefanzweifel/git-auto-commit-action action to v5
dependencies
#62
opened Jun 22, 2024 by
renovate
bot
Loading…
1 task
chore(deps): update pre-commit hook pre-commit/mirrors-prettier to v3
dependencies
#61
opened Jun 22, 2024 by
renovate
bot
Loading…
1 task
chore(deps): update peterjgrainger/action-create-branch action to v3
dependencies
#59
opened Jun 22, 2024 by
renovate
bot
Loading…
1 task
chore(deps): update actions/checkout action to v4
dependencies
#58
opened Jun 22, 2024 by
renovate
bot
Loading…
1 task
ProTip!
Adding no:label will show everything without a label.