Actually use the 3.1.0 release of odoc

jonludlam · jonludlam · commit 81ca17c7b7a2 · 2025-07-29T15:09:52.000+01:00
diff --git a/src/lib/config.ml b/src/lib/config.ml
@@ -221,9 +221,9 @@ let cmdliner =
     $ cache_threshold
     $ valid_packages_path)
 
-(* odoc pinned to 3.1.0 release *)
+(* odoc really pinned to 3.1.0 release now *)
 let odoc _ =
-  "https://github.com/ocaml/odoc.git#1e7ee409b7f16f2458593c63d48c19e3505eec4a"
+  "https://github.com/ocaml/odoc.git#dbe1333c687102e1a9a1cbe59d63b8f69e6b1af0"
 
 let sherlodoc _ = odoc ()
 let pool _ = "docs-pipeline"
diff --git a/src/lib/valid_packages.ml b/src/lib/valid_packages.ml
@@ -43,6 +43,7 @@ module Op = struct
             packages)
     in
     let () = Unix.rename (Printf.sprintf "%s.tmp" path) path in
+    let path = Fpath.(v (Config.Ssh.storage_folder ssh) / path |> to_string) in
     let cmd =
       Bos.Cmd.(
         v "scp"
