fix: use cbv in max-step diagnostics#13836

raphael-solace wants to merge 1 commit into

leanprover:masterleanprover/lean4:masterfrom

raphael-solace:rc/cbv-maxsteps-diagnosticraphael-solace/lean4:rc/cbv-maxsteps-diagnosticCopy head branch name to clipboard