Update Jenkinsfile

zach1221 · Jun 17, 2024 · 8c5f6ea · 8c5f6ea
1 parent e426544
commit 8c5f6ea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/ci/Jenkinsfile b/tests/ci/Jenkinsfile
@@ -139,3 +139,4 @@ pipeline {
      } 
   }
 }
+}