This repository has been archived by the owner on Oct 20, 2024. It is now read-only.

Automatic upgrade has failed #6

Open

github-actions bot opened this issue Sep 1, 2022 · 0 comments

github-actions bot commented Sep 1, 2022

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.