added CI label
mentioned in commit 2cfff869
By Cresson Remi on 2023-08-26T21:34:11 (imported from GitLab)
closed