fix: missing update stage0

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

3.82k stars 325 forks source link

Closed leodemoura closed 1 week ago

leodemoura commented 1 week ago

See issue #4064

Closes #4064

leanprover-community-mathlib4-bot commented 1 week ago

Mathlib CI status (docs):

❗ Std/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 07c407ab8212e2d7ddcb24caa492f6943e7b7c92 --onto b1bedbe0d2ba1dd3c654154897013e0399f5a53c. (2024-05-06 23:53:29)