Confusion between stdlib and stdlib-flambda when it fails

[SkySkimmer]

rocq-prover/rocq#20215 (comment)

🏃 @coqbot ci minimize will minimize the following targets: ci-stdlib, ci-stdlib

[JasonGross]

As far as I can tell https://github.com/coq/bot/blob/e838d62bd395390659d4aa4805841c163420eb54/src/actions.ml#L1007-L1012 seems fine ... I'm trying to find/recall where the library: / plugin: bits get chopped off

[JasonGross]

The solution should be to just include + in
https://github.com/coq/bot/blob/e838d62bd395390659d4aa4805841c163420eb54/src/actions.ml#L901

I don't have time to take care of & test this right now, unfortunately

[Zimmi48]

I don't think fixing this is as trivial as adding + to this regexp, because while the CI job is called ci-stdlib+flambda, the Makefile.ci target is ci-stdlib. So, we would need specific support for +flambda jobs (or +whatever jobs) for which we would be able to store a separate GitLab job name and Makefile.ci target.

[SkySkimmer]

After #336 I think we shouldn't be getting the ci target from the job name so maybe it is now trivial?