diff options
Diffstat (limited to 'build-aux/Jenkinsfile.pr')
| -rw-r--r-- | build-aux/Jenkinsfile.pr | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build-aux/Jenkinsfile.pr b/build-aux/Jenkinsfile.pr index 46cda1d70..8f9d6f1d7 100644 --- a/build-aux/Jenkinsfile.pr +++ b/build-aux/Jenkinsfile.pr @@ -69,6 +69,8 @@ pipeline { image "${DOCKER_IMAGE}" label 'docker' args "${DOCKER_ARGS}" + registryUrl 'https://docker.io/' + registryCredentialsId 'dockerhub_creds' } } options { |