-
Notifications
You must be signed in to change notification settings - Fork 9
Pull requests: leanprover/lean-action
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore(deps): bump actions/cache from 4 to 5
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#141
opened Dec 12, 2025 by
dependabot
bot
Loading…
chore(deps): bump actions/checkout from 5 to 6
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#139
opened Nov 20, 2025 by
dependabot
bot
Loading…
test: add functional test for lean4checker in subdirectory
#138
opened Oct 22, 2025 by
austinletson
Loading…
ProTip!
Filter pull requests by the default branch with base:main.