stan-dev
diff --git a/‎Jenkinsfile‎
Lines changed: 0 additions & 102 deletions b/‎Jenkinsfile‎
Lines changed: 0 additions & 102 deletions
diff --git a/‎Jenkinsfile-bleeding-edge-monthly‎
Lines changed: 2 additions & 2 deletions b/‎Jenkinsfile-bleeding-edge-monthly‎
Lines changed: 2 additions & 2 deletions
@@ -84,7 +84,7 @@ pipeline {
                     retry(3) { checkout scm }
                     sh """
                         cd docker/bleeding-edge-compilers
-                        docker build -t stanorg/ci:bleeding-edge-compilers --no-cache --build-arg PUID=\$(id -u) --build-arg PGID=\$(id -g) --build-arg CUSTOM_GCC_TAG=\${custom_gcc_tag} --build-arg CUSTOM_LLVM_TAG=\${custom_llvm_tag} --build-arg BUILD_LLVM=\${build_gcc} --build-arg BUILD_LLVM=\${build_llvm} .
+                        docker build -t stanorg/ci:bleeding-edge-compilers --no-cache --build-arg PUID=\$(id -u) --build-arg PGID=\$(id -g) --build-arg CUSTOM_GCC_TAG=\${custom_gcc_tag} --build-arg CUSTOM_LLVM_TAG=\${custom_llvm_tag} --build-arg BUILD_GCC=\${build_gcc} --build-arg BUILD_LLVM=\${build_llvm} .
                         docker login --username stanorg --password "${DOCKER_TOKEN}"
                         docker push stanorg/ci:bleeding-edge-compilers
                     """
@@ -214,7 +214,7 @@ pipeline {
                 }
             }
         }
-    
+
         stage("Get nightly Stanc3") {
             agent {
                 docker {
Original file line number	Diff line number	Diff line change
`@@ -84,7 +84,7 @@ pipeline {`
`84`	`84`	`retry(3) { checkout scm }`
`85`	`85`	`sh """`
`86`	`86`	`cd docker/bleeding-edge-compilers`
`87`		`- docker build -t stanorg/ci:bleeding-edge-compilers --no-cache --build-arg PUID=\$(id -u) --build-arg PGID=\$(id -g) --build-arg CUSTOM_GCC_TAG=\${custom_gcc_tag} --build-arg CUSTOM_LLVM_TAG=\${custom_llvm_tag} --build-arg BUILD_LLVM=\${build_gcc} --build-arg BUILD_LLVM=\${build_llvm} .`
	`87`	`+ docker build -t stanorg/ci:bleeding-edge-compilers --no-cache --build-arg PUID=\$(id -u) --build-arg PGID=\$(id -g) --build-arg CUSTOM_GCC_TAG=\${custom_gcc_tag} --build-arg CUSTOM_LLVM_TAG=\${custom_llvm_tag} --build-arg BUILD_GCC=\${build_gcc} --build-arg BUILD_LLVM=\${build_llvm} .`
`88`	`88`	`docker login --username stanorg --password "${DOCKER_TOKEN}"`
`89`	`89`	`docker push stanorg/ci:bleeding-edge-compilers`
`90`	`90`	`"""`
`@@ -214,7 +214,7 @@ pipeline {`
`214`	`214`	`}`
`215`	`215`	`}`
`216`	`216`	`}`
`217`		`-`
	`217`	`+`
`218`	`218`	`stage("Get nightly Stanc3") {`
`219`	`219`	`agent {`
`220`	`220`	`docker {`