Skip to content

opam lint: Allow to mark a set of warnings as errors#5652

Merged
kit-ty-kate merged 5 commits intoocaml:masterfrom kit-ty-kate:lint-warn-errorSep 12, 2023

Commits

Commits on Sep 8, 2023

Commits on Sep 11, 2023