ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2025-04-07 19:34:41 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Cosmetic change for Windows Server builds

Browse Source
This commit is contained in:
Waldemar Zurowski 2020-06-19 22:09:02 +01:00
parent ac0e35c854
commit a7644dab8b
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.ci/dev/mswin/Jenkinsfile vendored
View File

@ -28,8 +28,12 @@ pipeline {
ansiColor('xterm')
timestamps()
timeout(time: 3, unit: 'HOURS')
// overrideIndexTriggers true // works as expected for PRs
// overrideIndexTriggers false // works as expected for non PRs
/*
* a bit awkward to read
* is parameter is true -> push events are *not* ignored
* if parameter is false -> push events *are* ignored
*/
overrideIndexTriggers (!isReleaseBranch)
}