Skip to content

Reapply "chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#83… #373

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

Reapply "chore(Tactic/Lint/Simp): make simpNF linter dsimp-aware (#83… #373

Triggered via push June 16, 2024 00:31
Status Success
Total duration 13s
Artifacts
merge-to-nightly
5s
merge-to-nightly
Fit to window
Zoom out
Zoom in