diff --git a/murdock-worker/Dockerfile b/murdock-worker/Dockerfile index af860af4..125085d3 100644 --- a/murdock-worker/Dockerfile +++ b/murdock-worker/Dockerfile @@ -3,7 +3,7 @@ # # the resulting image is being used in RIOT's CI (Murdock) -ARG DOCKER_REGISTRY="riot" +ARG DOCKER_REGISTRY="docker.io/riot" FROM ${DOCKER_REGISTRY}/riotbuild:latest LABEL maintainer="Kaspar Schleiser " diff --git a/riotbuild/Dockerfile b/riotbuild/Dockerfile index 04e2e123..ba7c71d4 100644 --- a/riotbuild/Dockerfile +++ b/riotbuild/Dockerfile @@ -19,7 +19,7 @@ # Usage: # 1. cd to riot root # 2. # docker run -i -t -u $UID -v $(pwd):/data/riotbuild riotbuild ./dist/tools/compile_test/compile_test.py -ARG DOCKER_REGISTRY="riot" +ARG DOCKER_REGISTRY="docker.io/riot" FROM ${DOCKER_REGISTRY}/static-test-tools:latest LABEL maintainer="Kaspar Schleiser " diff --git a/static-test-tools/Dockerfile b/static-test-tools/Dockerfile index d13cd4be..17509102 100644 --- a/static-test-tools/Dockerfile +++ b/static-test-tools/Dockerfile @@ -1,4 +1,4 @@ -ARG DOCKER_REGISTRY="riot" +ARG DOCKER_REGISTRY="docker.io/riot" FROM ${DOCKER_REGISTRY}/riotdocker-base:latest LABEL maintainer="alexandre.abadie@inria.fr"