Actions: leanprover-community/mathlib4
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
backward.proofsInPublic exceptions
Check PR titles
#30493:
Pull request #41096
edited
by
felixpernegger
backward.proofsInPublic exceptions
lint and suggest
#187777:
Pull request #41096
opened
by
felixpernegger
backward.proofsInPublic exceptions
Run pre-commit and in-place update PR on push
#77388:
Pull request #41096
opened
by
felixpernegger
backward.proofsInPublic exceptions
Commit Verification
#46846:
Pull request #41096
opened
by
felixpernegger
backward.proofsInPublic exceptions
continuous integration (mathlib forks)
#308419:
Pull request #41096
opened
by
felixpernegger
backward.proofsInPublic exceptions
Autolabel PRs
#27285:
Pull request #41096
opened
by
felixpernegger
backward.proofsInPublic exceptions
Label New Contributors
#117917:
Pull request #41096
opened
by
felixpernegger
backward.proofsInPublic exceptions
Post PR summary comment
#164526:
Pull request #41096
opened
by
felixpernegger
backward.proofsInPublic exceptions
Check PR titles
#30492:
Pull request #41096
opened
by
felixpernegger