| commit | a62901c8c93c712e89c942ac4e14da873946c3b5 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue Dec 03 15:03:43 2019 +0000 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Tue Dec 03 15:03:43 2019 +0000 |
| tree | 86b5472f0194a3bb51f89318ff9785e50f1e0d20 | |
| parent | e4f77d5a95785bed9ed2660df9bffa4795846508 [diff] |
Jenkinsfile: tweak polling interval
diff --git a/Jenkinsfile b/Jenkinsfile index d76eeb1..39596af 100644 --- a/Jenkinsfile +++ b/Jenkinsfile
@@ -79,7 +79,7 @@ } } triggers { - pollSCM('* H/2 * * *') + pollSCM('H H/2 * * *') } stages { stage('Tycho') {