Skip to content

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

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

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

Triggered via push June 13, 2024 04:37
Status Success
Total duration 12s
Artifacts
merge-to-nightly
3s
merge-to-nightly
Fit to window
Zoom out
Zoom in