Skip to content

chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#839) #368

chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#839)

chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#839) #368

This job succeeded