Slightly more compact errors

coq · Jan 27, 2024 · e81e7c7 · e81e7c7
1 parent 8cf1657
commit e81e7c7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/actions.ml b/src/actions.ml
@@ -781,7 +781,6 @@ let run_ci_minimization_error_to_string = function
  f
  "Could not resume minimization because [artifact %s/%s:%s](%s) \
  failed to download:\n\
- Error:\n\
  %s"
  artifact_owner artifact_repo artifact_id artifact_url error )
  | DownloadError {url; error} ->