Verified record · from the answer index

Lean Action - CI for Lean Projects

Standard CI for Lean projects. Steps: - install elan - get Mathlib cache (optional, must be downstream of Mathlib) - lake build - lake test (optional) - lake exe runLinter (optional, must be downstream of Batteries) - check res

lib:action:leanprover/lean-action · published by leanprover · source repository