public_nightly.Jenkinsfile: add --latest to the docker build

maliberty · maliberty · commit e5d6f83f3793 · 2024-01-07T20:23:20.000-08:00
Signed-off-by: Matt Liberty &lt;mliberty@precisioninno.com&gt;
diff --git a/jenkins/public_nightly.Jenkinsfile b/jenkins/public_nightly.Jenkinsfile
@@ -119,7 +119,7 @@ pipeline {
                     if ("${TEST_SLUG}" == 'docker build'){
                       retry(3) {
                         try {
-                          sh "./build_openroad.sh --no_init";
+                          sh "./build_openroad.sh --no_init --latest";
                         }
                         catch (e) {
                           sleep(60);

Original file line number	Diff line number	Diff line change
`@@ -119,7 +119,7 @@ pipeline {`
`119`	`119`	`if ("${TEST_SLUG}" == 'docker build'){`
`120`	`120`	`retry(3) {`
`121`	`121`	`try {`
`122`		`- sh "./build_openroad.sh --no_init";`
	`122`	`+ sh "./build_openroad.sh --no_init --latest";`
`123`	`123`	`}`
`124`	`124`	`catch (e) {`
`125`	`125`	`sleep(60);`