diff options
| author | Jack Lloyd <[email protected]> | 2018-12-23 16:13:25 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-12-23 16:13:25 -0500 |
| commit | 897f6e8be4992d5ed685729adc21fcaa882a696f (patch) | |
| tree | 1cba8a427d07bd0d6fea608744e078dc211274c0 /src/scripts/ci | |
| parent | 4322323cc117a7ae6ee1b8725b30e93d45544c4c (diff) | |
Increase Travis git pull depth
Undocumented? side effect of a small git pull depth - if more than N
new commits are pushed to master while an earlier build is running,
the old build starts failing, as when CI does the pull it does not
find the commit it is building within the checked out tree.
Diffstat (limited to 'src/scripts/ci')
| -rw-r--r-- | src/scripts/ci/travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis.yml b/src/scripts/ci/travis.yml index 37df3794c..70786243b 100644 --- a/src/scripts/ci/travis.yml +++ b/src/scripts/ci/travis.yml @@ -103,7 +103,7 @@ branches: - coverity_scan git: - depth: 3 + depth: 10 cache: ccache: true |