Update jenkins/Jenkinsfile

mtfishman · web-flow · commit 73d432f2009d · 2024-10-10T18:54:57.000-04:00
diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile
@@ -88,7 +88,7 @@ pipeline {
               label 'gpu&&v100'
               filename 'Dockerfile'
               dir 'jenkins'
-              additionalBuildArgs  '--build-arg JULIA=1'
+              additionalBuildArgs  '--build-arg JULIA=1.11'
               args '--gpus "device=1"'
             }
           }

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,7 @@ pipeline {`
`88`	`88`	`label 'gpu&&v100'`
`89`	`89`	`filename 'Dockerfile'`
`90`	`90`	`dir 'jenkins'`
`91`		`- additionalBuildArgs '--build-arg JULIA=1'`
	`91`	`+ additionalBuildArgs '--build-arg JULIA=1.11'`
`92`	`92`	`args '--gpus "device=1"'`
`93`	`93`	`}`
`94`	`94`	`}`