Actions: leanprover/lean4
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
Ne.elim
CI
#59721:
Pull request #14345
opened
by
plp127
Ne.elim
Check for modules that should use `prelude`
#28144:
Pull request #14345
opened
by
plp127
Ne.elim
Check for stage0 changes
#34990:
Pull request #14345
opened
by
plp127
Ne.elim
Check for copyright header
#28299:
Pull request #14345
opened
by
plp127