leanprover / lean-action

GitHub action for standard CI in Lean projects
15Updated last month

Related projects

Alternatives and complementary repositories for lean-action