Checking pipeline status.
Pipeline #186101 failed
Pipeline failed for 9aa7f06b on master 2 years ago
added ci label
enabled an automatic merge when the pipeline for fb0c5040 succeeds
By Rémi Cresson on 2022-09-28T19:05:29 (imported from GitLab)
mentioned in commit 9aa7f06b
By Rémi Cresson on 2022-09-28T19:07:42 (imported from GitLab)
merged