exit on interrupt

2020-05-22 11:50:07 +02:00
parent 3766958b20
commit 62c378945a
5 changed files with 27 additions and 6 deletions
--- a/2
+++ b/2
@ -5,7 +5,7 @@ pipeline {
      VERSION = VersionNumber([
          versionNumberString:
              '${BUILDS_ALL_TIME}',
-          versionPrefix: '1.3.',
+          versionPrefix: '1.4.',
          worstResultForIncrement: 'SUCCESS'
      ])
  }