try to fix ci

pmpknu · Oct 22, 2024 · 9a2849f · 9a2849f
1 parent 5a577d7
commit 9a2849f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 4 deletions.
diff --git a/p12/dune b/p12/dune
@@ -2,5 +2,5 @@
  (alias lint)
  (action
   (progn
-    (echo "Running zanuda on OCaml files...")
-    (run bash -c "zanuda lib/*.ml"))))
+   (echo "Running zanuda on OCaml files...")
+   (run bash -c "zanuda lib/*.ml"))))
diff --git a/p12/lib/dune b/p12/lib/dune
@@ -1,4 +1,3 @@
 (library
  (name p12_lib)
- (modules iterative map module rec tailrec)
-)
+ (modules iterative map module rec tailrec))