added CI Docker labels
mentioned in commit c877d478
By Cresson Remi on 2022-10-04T14:35:46 (imported from GitLab)
closed