diff options
author | Paladox <thomasmulhall410@yahoo.com> | 2019-11-09 19:58:37 +0000 |
---|---|---|
committer | Paladox <thomasmulhall410@yahoo.com> | 2019-11-09 19:58:37 +0000 |
commit | 6aee3b371564f2e9e23cbdfd39d718d11a0baa88 (patch) | |
tree | 81ba55d66d6eb965f79a97bc8c95801fb6b63378 | |
parent | bc024615ce9347dc2a90afcd65fa7f90dd7bd135 (diff) | |
parent | 7637d661b911d6fa2a35bd48e1e10b35312c379e (diff) |
Merge branch 'stable-2.14' into stable-2.15
* stable-2.14:
Jenkinsfile: don't use Map.remove() as it is forbidden
Change-Id: Ic592d2d3493cce9420deb0a0dc49fde8b610b938
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index ea52b23bb2..780336458b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -196,7 +196,7 @@ def findFlakyBuilds() { def retryBuilds = [] flaky.each { def mode = it.key - Builds.verification.remove(mode) + Builds.verification = Builds.verification.findAll { it.key != mode } retryBuilds += mode } |