Later we will change develop -> master, but here is just for testing
added CI Docker labels
merged
mentioned in commit 3acfe711
By Cresson Remi on 2022-05-10T17:59:29 (imported from GitLab)