commit | a516d9989c89ea342d61f818d178a8ff3c5af007 | [log] [tgz] |
---|---|---|
author | Hervé Boutemy <hboutemy@apache.org> | Fri Jul 31 08:17:12 2020 +0200 |
committer | Hervé Boutemy <hboutemy@apache.org> | Fri Jul 31 08:17:12 2020 +0200 |
tree | c7ee920e9e1b3ee4bc85ea934890b27e5cbb5bd2 | |
parent | b74072c2c1a2db7db101cd6fb2251c8ebe85c638 [diff] |
disable option currently not available on ci-builds.a.o
diff --git a/Jenkinsfile b/Jenkinsfile index daa1293..7167816 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -43,7 +43,7 @@ buildDiscarder(logRotator(numToKeepStr:'15')) timeout(time: 10, unit: 'MINUTES') skipStagesAfterUnstable() - timestamps() + //timestamps() disableConcurrentBuilds() ansiColor('xterm') }