-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: leanprover/lean-action
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
test: verify expected steps ran during functional test
#59
opened Jun 7, 2024 by
austinletson
•
Draft
feat: don't raise an error if test_runner is not provided
#55
opened Jun 4, 2024 by
Seasawher
Loading…
feat: convenience workflow for update major release tag
#28
opened May 17, 2024 by
oliver-butterley
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.