GitHub repository: leanprover-contrib/lean-upgrade-action
Primary language: Python
Created: 2020-08-02T20:01:44Z
Description: An action to upgrade Lean and mathlib versions to their latest