Automatic upgrade has failed
github-actions opened this issue · 1 comments
github-actions commented
Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.
If your project currently builds, this is probably because of changes made in its dependencies:
- mathlib: changes
You can see the errors by running:
leanproject up
leanproject buildgithub-actions commented
This issue has been resolved!