wip

anmonteiro · Aug 28, 2024 · 775bd03 · 775bd03
1 parent 24deb87
commit 775bd03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/ci/test.nix b/nix/ci/test.nix
@@ -37,7 +37,7 @@ let
   srcs = lib.mapAttrsFlatten (n: v: v.src) h2Drvs ++ [
     (with nix-filter; filter {
       root = ../..;
-      include = [ "spec" ".ocamlformat" ];
+      include = [ "spec" ".ocamlformat" ".ocamlformat-ignore" ];
     })
   ];
 in