GitHub repository: leanprover-contrib/update-versions-action
Primary language: Dockerfile
Created: 2020-08-02T11:28:18Z
Description: An action to create and update lean-x.y.z release branches