Closed oliver-butterley closed 1 month ago
The workflow which builds on push and PR can be updated to take advantage of https://github.com/leanprover/lean-action.
lean-action is currently in development so it will be useful also to test it in a real situation.
lean-action
The workflow which builds on push and PR can be updated to take advantage of https://github.com/leanprover/lean-action.
lean-action
is currently in development so it will be useful also to test it in a real situation.