commit: 4eccb5b4792c270ad10ac059b9672a8845961079

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed May 21 18:14:59 2025 -0400
committer: GitHub <noreply@github.com>

Wed May 21 22:14:59 2025 +0000
tree: 47a784563140606e0234189ff40265ac4a2aefa3
parent: 0a43c138ac8cd9562f5cc4644cd9da23c451a708 [diff]

fix: `grind` diagnostics at `maxHeartbeats` (#8438)

This PR ensures that `grind` diagnostics are obtained even when
`maxHeartbeats` is reached.
This PR also removes some dead code.

6 files changed

tree: 47a784563140606e0234189ff40265ac4a2aefa3

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.