Actions: leanprover-community/mathlib4
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
≤ to spell subrelation
splice-bot
#28408:
Pull request #30526
created
by
plp127
≤ to spell subrelation
Label PR based on Comment
#193480:
Pull request #30526
created
by
plp127
≤ to spell subrelation
Bors merge/delegate follow-up
#270782:
Pull request #30526
created
by
plp127
≤ to spell subrelation
bot fix style
#245685:
Pull request #30526
created
by
plp127
≤ to spell subrelation
Maintainer merge
#294385:
Pull request #30526
created
by
plp127
≤ to spell subrelation
bot fix style
#245684:
Pull request #30526
submitted
by
plp127
≤ to spell subrelation
Bors merge/delegate follow-up
#270781:
Pull request #30526
submitted
by
plp127
≤ to spell subrelation
Label PR based on Comment
#193479:
Pull request #30526
submitted
by
plp127
≤ to spell subrelation
Maintainer merge
#294384:
Pull request #30526
submitted
by
plp127