<commit_before>language: c
env:
  global:
  - NJOBS=2
  - COMPILER="4.05.0"

cache:
  apt: true
  directories:
  - ${HOME}/opam-cache

install:
- test -e ${HOME}/opam-cache/cache-${COMPILER}.tgz || scripts/opam-coq-init

script:
- echo ${TRAVIS_COMMIT_RANGE}
- echo ${TRAVIS_COMMIT_RANGE:-${TRAVIS_COMMIT}}
- git diff-tree --no-commit-id --name-only -r ${TRAVIS_COMMIT_RANGE:-${TRAVIS_COMMIT}} | xargs scripts/opam-coq-lint ${HOME}/opam-cache/cache-${COMPILER}.tgz
        
dist: trusty
sudo: required
matrix:
  include:
  - os: linux
    addons:
      apt:
        sources:<commit_msg>Travis: fix syntax of range of commits<commit_after>language: c
env:
  global:
  - NJOBS=2
  - COMPILER="4.05.0"

cache:
  apt: true
  directories:
  - ${HOME}/opam-cache

install:
- test -e ${HOME}/opam-cache/cache-${COMPILER}.tgz || scripts/opam-coq-init

script:
- T=${TRAVIS_COMMIT_RANGE:-${TRAVIS_COMMIT}}; echo Treeish ${T/.../ }; git diff-tree --no-commit-id --name-only -r ${T/.../ } | xargs scripts/opam-coq-lint ${HOME}/opam-cache/cache-${COMPILER}.tgz
        
dist: trusty
sudo: required
matrix:
  include:
  - os: linux
    addons:
      apt:
        sources:
{'fraction_non_alphanumeric': 0.17530224525043178, 'fraction_numerical': 0.008635578583765112, 'mean_word_length': 3.0524475524475525, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4346332', 'n_tokens_mistral': 479, 'n_tokens_neox': 470, 'n_words': 87}