Closed moyodiallo closed 11 months ago
Instead of using a specific commit of opam-dune-lint, now we're using the released version. And that was the goal since the opam lint job is added.
Instead of using a specific commit of opam-dune-lint, now we're using the released version. And that was the goal since the opam lint job is added.