-
Notifications
You must be signed in to change notification settings - Fork 1
Pull requests: b-mehta/ABC-Exceptions
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore: migrate to the reusable leanprover-community/intentions workflow
#77
opened Jun 23, 2026 by
kim-em
Loading…
Bump actions/checkout from 5.0.0 to 6.0.2
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#76
opened Jan 26, 2026 by
dependabot
Bot
Loading…
Bump leanprover/lean-action from 1.3.0 to 1.4.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#75
opened Jan 19, 2026 by
dependabot
Bot
Loading…
ProTip!
Filter pull requests by the default branch with base:main.