fixup! CI: Separate running linters to another job on Travis CI

.travis.yml

@@ -38,11 +38,9 @@ install:
   - rvm reset
   - bash scripts/install-vim.sh
   - export PATH=$HOME/vim/bin:$PATH
-    # Install https://github.com/Vimjas/covimerage
   - if [[ "$TRAVIS_OS_NAME" == "osx" ]] ; then brew install python3 ; fi
   - pip3 install --user --upgrade pip
   - pip3 install --user --upgrade setuptools
-  - pip3 install --user covimerage
 
 before_script:
   - git clone --depth 1 --branch v1.5.4 --single-branch https://github.com/thinca/vim-themis /tmp/vim-themis
@@ -56,12 +54,10 @@ script:
   - |
     if [[ "${RUN_LINT}" != "true" ]]; then
         /tmp/vim-themis/bin/themis --runtimepath /tmp/vimproc --exclude ConcurrentProcess --reporter dot
+        bash scripts/coverage.sh
     fi
   - if [[ "${RUN_LINT}" == "true" ]] ; then bash scripts/run-lint-on-ci.sh ; fi
 
-after_success:
-  - bash scripts/coverage.sh
-
 notifications:
   webhooks:
     urls:

scripts/coverage.sh

@@ -3,9 +3,13 @@
 set -ev
 
 if [[ "${THEMIS_PROFILE}" == "" ]]; then
+    echo '$THEMIS_PROFILE is not set. Skipping to send coverage data' 1>&2
     exit
 fi
 
-covimerage write_coverage $THEMIS_PROFILE
+# Install https://github.com/Vimjas/covimerage
+pip3 install --user covimerage
+
+covimerage write_coverage "$THEMIS_PROFILE"
 coverage xml
 bash <(curl -s https://codecov.io/bash)