diff options
| author | sholdee <102821812+sholdee@users.noreply.github.com> | 2022-07-22 02:13:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-22 09:13:38 +0200 |
| commit | bd95fe616bb2d087bd2ffe93f02c5d56e7305788 (patch) | |
| tree | 0fb696e3b63b99c397099f783f414f35cdaf42ea | |
| parent | 84236e7ac334c992e78920af0dfa1d6354413b51 (diff) | |
Disable concurrent builds (#885)
| -rw-r--r-- | Jenkinsfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 7f3589ec8..f9ac7e7c8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,6 +4,7 @@ pipeline { options { timestamps() skipDefaultCheckout(true) + disableConcurrentBuilds(abortPrevious: true) } stages { |