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

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

fix: `finish` reports the thresholds of its own configuration

0b655b8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view