-
Notifications
You must be signed in to change notification settings - Fork 17
Pull requests: leanprover/lean-action
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: lint-status verification was checking test-status
#157
opened Apr 10, 2026 by
kim-em
Collaborator
Loading…
fix: update actions/cache to v5 to resolve Node.js 20 deprecation warning
#155
opened Apr 2, 2026 by
marcelolynch
Loading…
fix: Set
test-args input correctly and improve functional tests
#153
opened Mar 10, 2026 by
samuelburnham
Loading…
feat: add parallel workflow with nanoda support
#146
opened Jan 6, 2026 by
kim-em
Collaborator
Loading…
feat: add nanoda external type checker support
#145
opened Jan 6, 2026 by
kim-em
Collaborator
Loading…
feat: add parallel reusable workflow for faster CI
#144
opened Jan 6, 2026 by
kim-em
Collaborator
Loading…
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…
ProTip!
Add no:assignee to see everything that’s not assigned.