GitHub repository: leanprover-community/mathlib-update-action
Primary language: JavaScript
Description: Action for automatically updating to Mathlib releases