Don't overwrite odoc_driver's status.json

jonludlam · jonludlam · commit e4d394c56c8d · 2025-05-16T12:55:55.000+01:00
diff --git a/src/lib/compile.ml b/src/lib/compile.ml
@@ -84,8 +84,6 @@ let spec_success ~ssh ~base ~odoc_driver_base ~odoc_pin ~sherlodoc_pin ~config
       Fmt.str "mkdir -p %a" Fpath.pp linked_folder;
       Misc.tar_cmd linked_folder;
       Fmt.str "echo raw_folder: %s" (Fpath.to_string raw_folder);
-      Fmt.str "~/docs/docs-ci-scripts/gen_status_json.sh %s"
-        (Fpath.to_string raw_folder);
       Fmt.str "time rsync -aR ./%s %s:%s/."
         Fpath.(to_string (parent linked_folder))
         (Config.Ssh.host ssh)
