diff options
| author | tgrogers <[email protected]> | 2018-04-23 14:43:23 -0400 |
|---|---|---|
| committer | tgrogers <[email protected]> | 2018-04-23 14:43:23 -0400 |
| commit | 05f505caa29c6f6a4ff27039fbb35c34620080fa (patch) | |
| tree | 0cd596ddea38a9164c6507786e451b3ac27955c9 | |
| parent | a6442a718d221a83bf502797ce2845e5b0ef89af (diff) | |
bad trigger
| -rw-r--r-- | nightly.jenkinsfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nightly.jenkinsfile b/nightly.jenkinsfile index 4f0b6cd..8705103 100644 --- a/nightly.jenkinsfile +++ b/nightly.jenkinsfile @@ -3,8 +3,8 @@ pipeline { label "purdue-cluster" } - triggers { - chron('H H * * *') + options { + disableConcurrentBuilds() } stages { |