Revert stray Jenkinsfile changes

stan-dev · Mar 7, 2024 · 2d5d4f7 · 2d5d4f7
1 parent bb12079
commit 2d5d4f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -589,4 +589,4 @@ pipeline {
         unstable { script { utils.mailBuildResults("UNSTABLE", alsoNotify()) } }
         failure { script { utils.mailBuildResults("FAILURE", alsoNotify()) } }
     }
-}
+}