-
Fabrice Jammes authored
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.
Fabrice Jammes authoredIt 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.
Loading