fixup! Fixes #20737: Prepare 7.1 API doc

Fixes #20737: Prepare 7.1 API doc
Normation · Feb 8, 2022 · 9913fad · 9913fad
1 parent 804cc14
commit 9913fad
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -228,7 +228,7 @@ pipeline {
                     agent {
                         dockerfile { 
                             filename 'language/Dockerfile'
-                            additionalBuildArgs  "--build-arg USER_ID=${env.JENKINS_UID} --build-arg RUDDER_VER=$RUDDER_VERSION"
+                            additionalBuildArgs  "--build-arg USER_ID=${env.JENKINS_UID} --build-arg RUDDER_VER=${RUDDER_VERSION}-nightly"
                             // mount cache
                             args '-v /srv/cache/cargo:/usr/local/cargo/registry -v /srv/cache/sccache:/home/jenkins/.cache/sccache'
                         }
@@ -405,7 +405,7 @@ pipeline {
                     agent {
                         dockerfile { 
                             filename 'language/Dockerfile'
-                            additionalBuildArgs "--build-arg USER_ID=${env.JENKINS_UID} --build-arg RUDDER_VER=${RUDDER_VERSION}"
+                            additionalBuildArgs "--build-arg USER_ID=${env.JENKINS_UID} --build-arg RUDDER_VER=${RUDDER_VERSION}-nightly"
                             // mount cache
                             args '-v /srv/cache/cargo:/usr/local/cargo/registry -v /srv/cache/sccache:/home/jenkins/.cache/sccache'
                         }