GitHub repository: leanprover-community/lean-update
Primary language: JavaScript
Description: GitHub Action which automatically updates Lean projects