13 Jan
2023
13 Jan
'23
6:20 p.m.
The mf:mf GitLab CI success-inside-todo is unrelated to this MR. So far I had only seen it on my desktop (see bug 54306) so I'm kind of happy to see I'm not the only one with this failure (although in a way I guess I'm still the only one with this failure :-( ).