Automatic upgrade has failed

[github-actions[bot]]

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 build

[grunweg]

These instructions refer to Lean 3: this is clearly not relevant any more. Let me close this issue.