Fetch each package into its own directory

ocurrent · Dec 18, 2024 · d19e2c7 · d19e2c7
1 parent 3ed5527
commit d19e2c7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/opam-ci-check/bin/main.ml b/opam-ci-check/bin/main.ml
@@ -72,7 +72,11 @@ let lint package_specs local_repo_dir =
       let process_package { pkg; src; newly_published } =
         let opam = read_package_opam ~opam_repo_dir pkg in
         let pkg_src_dir =
-          if Option.is_none src then fetch_package_src ~dir ~pkg opam else src
+          if Option.is_none src then
+            let dir = dir // OpamPackage.to_string pkg in
+            fetch_package_src ~dir ~pkg opam
+          else
+            src
         in
         Lint.v ~pkg ~newly_published ~pkg_src_dir opam
       in