leanprover / lean-action

GitHub action for standard CI in Lean projects
15Updated this week

Related projects

Alternatives and complementary repositories for lean-action