ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2024-12-20 21:43:14 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Trying to ignore push events for Windows Server builds (#6383)

Browse Source
This commit is contained in:
Waldemar Żurowski 2020-06-19 22:03:09 +01:00 committed by GitHub
parent 8a601e6d62
commit ac0e35c854
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -28,6 +28,9 @@ pipeline {
ansiColor('xterm')
timestamps()
timeout(time: 3, unit: 'HOURS')
// overrideIndexTriggers true // works as expected for PRs
// overrideIndexTriggers false // works as expected for non PRs
overrideIndexTriggers (!isReleaseBranch)
}
parameters {