diff options
author | 2017-11-06 10:53:51 +0000 | |
---|---|---|
committer | 2017-11-06 10:53:51 +0000 | |
commit | aea749b49ba32fce47b17f98302bfd7053d40668 (patch) | |
tree | 8e43405b0e2880bc2d67b9fb220e52adb12de195 /ci/start_job.sh | |
parent | 4f35267e19cfbfc2d51bc72f4986df5be70950fb (diff) | |
parent | 2faf891b5e2a3edf2b9b81866ab9afc89e456e99 (diff) |
Merge "Prevent user from starting a second job while one is already running."
Diffstat (limited to 'ci/start_job.sh')
0 files changed, 0 insertions, 0 deletions