Skip to content

fix: finish reports the thresholds of its own configuration - #16340

Closed
sgraf812 wants to merge 1 commit into
leanprover:masterfrom
sgraf812:sg/grind-finish-threshold-config
Closed

fix: finish reports the thresholds of its own configuration#16340
sgraf812 wants to merge 1 commit into
leanprover:masterfrom
sgraf812:sg/grind-finish-threshold-config

Commits

  1. Commits on Nov 7, 2026