Run tagref list-unused --fail-if-any in the lint task#826

stepchowfun merged 1 commit into

mainstepchowfun/proofs:mainfrom

tagrefstepchowfun/proofs:tagrefCopy head branch name to clipboard