leanprover/lean-action

GitHub action for standard CI in Lean projects

语言：Shell · GitHub 星标：50 · Fork：23

话题：github-actions · lean · lean4

在 GitHub 上查看原仓库