Actions: leanprover/lean4
Actions
Showing runs from all workflows
38,932 workflow run results
38,932 workflow run results
tryCatchRuntimeEx
combinator
Check PR title for commit convention
#4432:
Pull request #4129
opened
by
leodemoura
tryCatchRuntimeEx
combinator
Check for modules that should use `prelude`
#1543:
Pull request #4129
opened
by
leodemoura
tryCatchRuntimeEx
combinator
Check for copyright header
#1698:
Pull request #4129
opened
by
leodemoura
tryCatchRuntimeEx
combinator
Check for stage0 changes
#470:
Pull request #4129
opened
by
leodemoura
tryCatchRuntimeEx
combinator
Nix CI
#13644:
Pull request #4129
opened
by
leodemoura
tryCatchRuntimeEx
combinator
CI
#16663:
Pull request #4129
opened
by
leodemoura