• Tomáš Pecka's avatar
    Update CI images paths · 37b6e68c
    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