Actions: leanprover/lean4
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
UnusedSimpArgs hint
Check PR body for changelog convention
#44606:
Pull request #14313
ready_for_review
by
wkrozowski
UnusedSimpArgs hint
Adaptation PR
#354:
Pull request #14313
ready_for_review
by
wkrozowski