Stream: allow edge attributes, autoclose nodes

2020-06-05 11:46:58 +02:00
parent 920dc74d9c
commit b11b2f5f2b
5 changed files with 61 additions and 26 deletions
--- a/2
+++ b/2
@ -5,7 +5,7 @@ pipeline {
        VERSION = VersionNumber([
            versionNumberString:
                '${BUILDS_ALL_TIME}',
-            versionPrefix: '1.1.',
+            versionPrefix: '1.2.',
            worstResultForIncrement: 'SUCCESS'
        ])
    }