diff options
| author | Jack Lloyd <[email protected]> | 2020-11-06 18:48:02 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2020-11-06 18:48:02 -0500 |
| commit | bbd4ea44f713d0f3221e336a5d05fce82220b962 (patch) | |
| tree | b76764c82bffe03644f67b7d04f2dc4bfa609f42 /src/scripts | |
| parent | 63507ff7c3c81aca801bc0cca4e2f3eb15de5839 (diff) | |
Don't build documentation for LGTM builds
Diffstat (limited to 'src/scripts')
| -rw-r--r-- | src/scripts/ci/lgtm.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/lgtm.yml b/src/scripts/ci/lgtm.yml index fa2423858..46f000144 100644 --- a/src/scripts/ci/lgtm.yml +++ b/src/scripts/ci/lgtm.yml @@ -28,4 +28,4 @@ extraction: cpp: configure: command: - - ./configure.py --build-targets="static,shared,cli,tests,bogo_shim" --build-fuzzers=test --with-zlib --with-bzip2 --with-lzma --with-openssl --with-sqlite3 --no-store-vc-rev + - ./configure.py --build-targets="static,shared,cli,tests,bogo_shim" --build-fuzzers=test --with-zlib --with-bzip2 --with-lzma --with-openssl --with-sqlite3 --no-store-vc-rev --without-documentation |