Skip to content

Improve image tag management

Jérôme Mariette requested to merge master into add-scenario

It seems tag are mirrored to INRIA repository with a small delay. So image is built with a temporary tag and then commit tag is used only at push time.

Merge request reports