diff options
author | Stefan Wildemann <metalstrolch@users.noreply.github.com> | 2019-10-01 09:15:42 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-01 09:15:42 +0200 |
commit | 7b4c8877aceec093c5fca9c7ad040b6eecc8059f (patch) | |
tree | ecb74375b2642cdc5fdd0460168c2a48e6198540 /.circleci | |
parent | ac49d27070486ee946bda65daefae1d79e4eb827 (diff) | |
download | navit-7b4c8877aceec093c5fca9c7ad040b6eecc8059f.tar.gz |
fix:circleci: do not download build environment for sanity check (#891)
and reenable xml lint for all configurations shipped.
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index b4fef97e0..f89d922c0 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -9,7 +9,7 @@ jobs: - checkout - run: name: Setup requirements - command: bash scripts/setup_common_requirements.sh + command: bash scripts/setup_sanitycheck_requirements.sh - run: name: run sanity check script command: bash scripts/ci_sanity_checks.sh |