Merge pull request #900 from moyodiallo/update-opam-lint

Update opam lint
ocurrent · Oct 25, 2023 · 848cef1 · 848cef1
2 parents 5fd9105 + a894df7
commit 848cef1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/lint.ml b/lib/lint.ml
@@ -121,7 +121,7 @@ let opam_dune_lint_spec ~base ~selection =
           run ~cache ~network
             "git -C ~/opam-repository pull origin master && opam update && \
              opam pin add -yn opam-dune-lint.dev \
-             https://github.com/ocurrent/opam-dune-lint.git#998c59bcb6d039ee1677fc86a8b43ce914ca0e87";
+             https://github.com/ocurrent/opam-dune-lint.git#2c33c7bd4e5d57be7ac7b0230b33cae542b4cbec";
           run ~cache ~network "opam depext -i opam-dune-lint";
         ]
   @ [