Actions: leanprover/lean4
Actions
Showing runs from all workflows
89,784 workflow runs
89,784 workflow runs
m!
strings
Label PR based on Comment
#7633:
Issue comment #5857 (comment)
created
by
nomeata
m!
strings
Label PR based on Comment
#7632:
Issue comment #5857 (comment)
created
by
leanprover-community-bot
m!
strings
Backport
#4805:
Pull request #5857
labeled
by
leanprover-community-bot
m!
strings
Restart by label
#1549:
Pull request #5857
labeled
by
leanprover-community-bot
instance
yields theorems
Restart by label
#1548:
Pull request #5856
labeled
by
leanprover-community-bot
instance
yields theorems
Backport
#4804:
Pull request #5856
labeled
by
leanprover-community-bot
instance
yields theorems
Restart by label
#1547:
Pull request #5856
unlabeled
by
leanprover-community-bot
m!
strings
Check PR title for commit convention
#10743:
Pull request #5857
edited
by
kmill
m!
strings
CI
#23381:
Pull request #5857
synchronize
by
kmill
m!
strings
Check for stage0 changes
#5785:
Pull request #5857
synchronize
by
kmill
m!
strings
Nix CI
#20173:
Pull request #5857
synchronize
by
kmill
m!
strings
Check PR title for commit convention
#10742:
Pull request #5857
synchronize
by
kmill
m!
strings
Check for modules that should use `prelude`
#5642:
Pull request #5857
synchronize
by
kmill
m!
strings
Check for copyright header
#5797:
Pull request #5857
synchronize
by
kmill
m!
strings
Check for stage0 changes
#5784:
Pull request #5857
opened
by
kmill
m!
strings
CI
#23380:
Pull request #5857
opened
by
kmill
m!
strings
Check for copyright header
#5796:
Pull request #5857
opened
by
kmill
m!
strings
Nix CI
#20172:
Pull request #5857
opened
by
kmill
m!
strings
Check for modules that should use `prelude`
#5641:
Pull request #5857
opened
by
kmill
ProTip!
You can narrow down the results and go further in time using created:<2024-10-27 or the other filters available.