commit: 4256fb6e7eec1b94457ddccf83af0e706550f5de

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

Thu Oct 22 01:21:57 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Oct 22 01:21:57 2026 +0000
tree: 1fe93c81e57d969a41d27996de8ce4fd968ae7c4
parent: 5772db50aa6399136f1e59692f77da1377656eed [diff]

test: tighten heartbeat bound in #4861 regression test

The test now fails if stuck type class problems are again retried after every default instance.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2 files changed

tree: 1fe93c81e57d969a41d27996de8ce4fd968ae7c4

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.