GitHub repository: leanprover/lean-action
Primary language: Shell
Created: 2024-05-03T23:38:52Z
Description: GitHub action for standard CI in Lean projects