Misc: more linting

ocsigen · Jul 26, 2024 · 05f5d9a · 05f5d9a
1 parent ccdb2ac
commit 05f5d9a
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -137,7 +137,6 @@ jobs:
           dune-cache: true
 
       - uses: ocaml/setup-ocaml/lint-opam@v3
-        continue-on-error: true
 
   lint-fmt:
     runs-on: ubuntu-latest

diff --git a/dune-project b/dune-project
@@ -96,7 +96,7 @@
   (graphics :with-test)
   (num :with-test)
   (ppx_expect (and (>= v0.14.2) :with-test))
-  (ppxlib (and (>= 0.15) :with-test))
+  (ppxlib (and (>= 0.15)))
   (re (and (>= 1.9.0) :with-test))
 ))
 

diff --git a/js_of_ocaml-toplevel.opam b/js_of_ocaml-toplevel.opam
@@ -20,7 +20,7 @@ depends: [
   "graphics" {with-test}
   "num" {with-test}
   "ppx_expect" {>= "v0.14.2" & with-test}
-  "ppxlib" {>= "0.15" & with-test}
+  "ppxlib" {>= "0.15"}
   "re" {>= "1.9.0" & with-test}
   "odoc" {with-doc}
 ]