datakit/ci: adapt to crunch 3.0.0 (no longer provides size)

moby · Feb 28, 2019 · af88b30 · af88b30
1 parent 8a6c7f7
commit af88b30
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/ci/src/cI_static.mli b/ci/src/cI_static.mli
@@ -2,4 +2,3 @@ val read : string -> string option
 
 (* to avoid warning 32 *)
 val file_list: string list
-val size: string -> int64 option