Actions: leanprover/lean4
Actions
Showing runs from all workflows
89,696 workflow runs
89,696 workflow runs
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
m!
strings
Check PR title for commit convention
#10741:
Pull request #5857
opened
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check PR title for commit convention
#10740:
Pull request #5276
edited
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check for copyright header
#5795:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check PR title for commit convention
#10739:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Nix CI
#20171:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check for stage0 changes
#5783:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check for modules that should use `prelude`
#5640:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
CI
#23379:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check for copyright header
#5794:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check PR title for commit convention
#10738:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Check for stage0 changes
#5782:
Pull request #5276
synchronize
by
kmill
addPPExplicitToExposeDiff
from assigning metavariables
Nix CI
#20170:
Pull request #5276
synchronize
by
kmill