feat: add tech debt counter for disabled varHead simp warnings#21

bryangingechen merged 1 commit into

masterleanprover-community/mathlib-ci:masterfrom

add-varHead-tech-debt-counterleanprover-community/mathlib-ci:add-varHead-tech-debt-counterCopy head branch name to clipboard