perf: use String.compare in ConfigEval decision tree#13806

kmill wants to merge 1 commit into

masterleanprover/lean4:masterfrom

kmill_configeval_compareleanprover/lean4:kmill_configeval_compareCopy head branch name to clipboard