ci: fix syntax

Signed-off-by: Vitor Bandeira <[email protected]>
The-OpenROAD-Project · Oct 28, 2024 · 96e95b3 · 96e95b3
1 parent 017a2da
commit 96e95b3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/jenkins/public_build.Jenkinsfile b/jenkins/public_build.Jenkinsfile
@@ -3,8 +3,8 @@
 
 // Prevent builds stomping on each other and set a timeout to avoid runaways
 options {
-    disableConcurrentBuilds(abortPrevious: true),
-    timeout(time: 72, unit: 'HOURS')
+    disableConcurrentBuilds(abortPrevious: true);
+    timeout(time: 72, unit: 'HOURS');
 }
 
 // kick off worker using megaboom cloud definition