-
Tomáš Pecka authored
Recently we moved infrastructure repositories under a new path. Docker registries have therefore moved too. Reflect this in our CI settings.
37b6e68c
Recently we moved infrastructure repositories under a new path. Docker registries have therefore moved too. Reflect this in our CI settings.