Actions: leanprover/lean4
Actions
Showing runs from all workflows
70,664 workflow run results
70,664 workflow run results
pp.exprSizes
debugging option
Label PR based on Comment
#6207:
Issue comment #5218 (comment)
created
by
leanprover-community-mathlib4-bot
pp.exprSizes
debugging option
CI
#20888:
Pull request #5218
opened
by
Kha
pp.exprSizes
debugging option
Nix CI
#17744:
Pull request #5218
opened
by
Kha
pp.exprSizes
debugging option
Check PR title for commit convention
#8359:
Pull request #5218
opened
by
Kha
pp.exprSizes
debugging option
Check for modules that should use `prelude`
#4131:
Pull request #5218
opened
by
Kha
pp.exprSizes
debugging option
Check for stage0 changes
#3798:
Pull request #5218
opened
by
Kha
pp.exprSizes
debugging option
Check for copyright header
#4286:
Pull request #5218
opened
by
Kha
..
with a .
on the next line
Label PR based on Comment
#6205:
Issue comment #4768 (comment)
created
by
eric-wieser