This repository was archived by the owner on Oct 20, 2024. It is now read-only.
This repository was archived by the owner on Oct 20, 2024. It is now read-only.
Automatic upgrade has failed #6
Description
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
The error could also be caused by upgrading Lean from leanprover-community/lean:3.47.0 to leanprover-community/lean:3.48.0.
You can see the errors by running:
leanproject up
leanproject build