Added support for specifying max heartbeats via an env. variable or a CLI argument#336

Open

NicolasRouquette wants to merge 7 commits intoleanprover:mainfrom

NicolasRouquette:feature/max-heartbeats

Commits on Dec 7, 2025

Added support for specifying max heartbeats via an env. variable or a CLI argument
NicolasRouquette
committed
Pass DOCGEN_MAX_HEARTBEATS env var to Lake facets
NicolasRouquette
committed