Skip to content

Improve image tag management

Fabrice Jammes requested to merge issues/218 into master

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