Actions: leanprover-community/mathlib4
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
NeBot in left and right limits
.github/workflows/zulip_emoji_labelling.yaml
#64658:
Pull request #41079
labeled
by
mathlib-bors
Bot
NeBot in left and right limits (#41079)
continuous integration (staging)
#24564:
Commit 0ee7df2
pushed
by
mathlib-bors
Bot
NeBot in left and right limits
.github/workflows/zulip_emoji_labelling.yaml
#64657:
Pull request #41079
labeled
by
mathlib-bors
Bot
NeBot in left and right limits
bot fix style
#245690:
Pull request #41079
submitted
by
b-mehta
NeBot in left and right limits
Maintainer merge
#294390:
Pull request #41079
submitted
by
b-mehta
NeBot in left and right limits
Label PR based on Comment
#193485:
Pull request #41079
submitted
by
b-mehta
NeBot in left and right limits
Bors merge/delegate follow-up
#270787:
Pull request #41079
submitted
by
b-mehta