search

leanprover-community / sphere-eversion

Formalization of the existence of sphere eversions
https://leanprover-community.github.io/sphere-eversion/
Apache License 2.0
36 stars 10 forks source link

Automatic upgrade has failed #82

Closed github-actions[bot] closed 2 years ago

github-actions[bot] commented 2 years ago

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:

You can see the errors by running:

leanproject up
leanproject build
github-actions[bot] commented 2 years ago

This issue has been resolved!