Actions: leanprover-community/mathlib4
Actions
Showing runs from all workflows
919,180 workflow runs
919,180 workflow runs
OfSequence
lint and suggest
#63254:
Pull request #18325
synchronize
by
dagurtomas
OfSequence
Post PR summary comment
#26865:
Pull request #18325
synchronize
by
dagurtomas
OfSequence
Label New Contributors
#41010:
Pull request #18325
synchronize
by
dagurtomas
OfSequence
Label New Contributors
#41009:
Pull request #18325
opened
by
dagurtomas
OfSequence
lint and suggest
#63253:
Pull request #18325
opened
by
dagurtomas
OfSequence
Post PR summary comment
#26864:
Pull request #18325
opened
by
dagurtomas
OfSequence
Autolabel PRs
#1640:
Pull request #18325
opened
by
dagurtomas