Skip to content
Snippets Groups Projects

CI: use official registry

Merged Guillaume Pasero requested to merge ci_official_registry into develop
  1. Apr 24, 2019
Loading