chore: avoid stack overflow in debug tests

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

4.74k stars 427 forks source link

Closed Kha closed 1 week ago

leanprover-community-bot commented 1 week ago

Mathlib CI status (docs):

❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase a449e3fdd688072d6dbc86d9a6ebc28bf5b17a34 --onto a074bd9a2bd20cc470fbff4f80f2cd7b51ec0d0a. (2024-11-17 14:59:54)