Discussion: Upgrading to Lean v4.29.1 / current Mathlib#3
Draft
ChihChengLiang wants to merge 10 commits into
Draft
Discussion: Upgrading to Lean v4.29.1 / current Mathlib#3ChihChengLiang wants to merge 10 commits into
ChihChengLiang wants to merge 10 commits into
Enhance your code review process with GitHub Actions
GitHub Actions make it easy to automate all your software workflows, now with world-class CI/CD.
Build, test, and deploy your code right from GitHub. Learn more about GitHub Actions.