Reduce dif context

pitag-ha · Dec 1, 2023 · 1432a97 · 1432a97
1 parent 90f1144
commit 1432a97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/fuzzy-ci-helpers/create_diff.ml b/.github/workflows/fuzzy-ci-helpers/create_diff.ml
@@ -26,7 +26,7 @@ let rec loop () =
   close_out oc;
   match label1, label2, reached_delimiter1, reached_delimiter2 with
     | Some label1, Some label2, Some (), Some () ->
-      let diff_cmd = Printf.sprintf "diff -U 10 --label=\"%s\" --label=\"%s\" \"%s\" \"%s\" >> %s" label1 label2 tmp1 tmp2
+      let diff_cmd = Printf.sprintf "diff -U 5 --label=\"%s\" --label=\"%s\" \"%s\" \"%s\" >> %s" label1 label2 tmp1 tmp2
       diff_file in
       let _ = Sys.command diff_cmd in
       loop ()