CI minimization needs to be adapted to smaller artifacts

[JasonGross]

@JasonGross @Zimmi48 not sure if the minimizer needs to be changed for this

Sorry, I missed this. Yes, this breaks the minimizer setup (as in, it will probably rebuild all the dependent CI developments from scratch in order to run the minimizer, and be quite slow). The checks tab summary (e.g., this) for each job will now need to report all dependent artifacts that are downloaded for each job, and we need to parse this information a la

bot/src/actions.ml

Lines 911 to 917 in 1d7655f

	if
	string_match
	~regexp:
	"This job ran on the Docker image `\\([^`]+\\)`, depended on the \
	build job `\\([^`]+\\)` with OCaml `\\([^`]+\\)`.\n\n"
	summary
	then

and insert it when it exists at

bot/src/actions.ml

Lines 960 to 961 in 1d7655f

	; failing_urls= head_build_url ^ " " ^ head_job_url
	; passing_urls= base_build_url ^ " " ^ base_job_url } )

. @Zimmi48 could you take care of this?

Originally posted by @JasonGross in coq/coq#19926 (comment)

[JasonGross]

Probably the format we want is something like "This job ran on the Docker image ..., depended on the build job ... with OCaml ..., and on the non-build jobs ..." and then we can parse out the last bit as an optional string, split on , , strip backticks, partition_map (or try Some (map (fun job -> Option.get (extract_artifact_url job summary)) jobs) with Invalid_argument -> None).