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

Triggered via push June 12, 2024 12:15
Status Success
Total duration 17s
Artifacts
merge-to-nightly
9s
merge-to-nightly
Fit to window
Zoom out
Zoom in