-
-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: exercism/coq
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump actions/checkout from 4.1.7 to 4.2.2
dependencies
Pull requests that update a dependency file
#123
opened Nov 1, 2024 by
dependabot
Bot
Loading…
🤖 Sync org-wide files to upstream repo
#114
opened Apr 25, 2024 by
exercism-bot
Contributor
Loading…
🤖 Sync org-wide files to upstream repo
#110
opened Mar 27, 2024 by
exercism-bot
Contributor
Loading…
🤖 Sync org-wide files to upstream repo
#106
opened Jan 25, 2024 by
exercism-bot
Contributor
Loading…
ProTip!
Filter pull requests by the default branch with base:main.