Commit deee589b authored by François Grisez's avatar François Grisez

Gitlab-ci: force the update of the local tags

(cherry picked from commit 5fccee55)
parent b57016d9
Pipeline #17661 passed with stages
in 59 minutes and 34 seconds