<commit_before>dist: trusty
sudo: required
language: c

git:
  submodules: false

install:
 - curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh > install.sh
 - echo | sudo sh install.sh
 - opam init --disable-sandboxing -j 2 --compiler=4.02.3 -n -y
 - eval $(opam env)
 - opam config var root
 - opam install -j 2 -y elpi
 - opam repo add coq-core-dev http://coq.inria.fr/opam/core-dev
 - opam repo add coq-extra-dev http://coq.inria.fr/opam/extra-dev

matrix:
  include:<commit_msg>bump travis on opam 4.05<commit_after>dist: trusty
sudo: required
language: c

git:
  submodules: false

install:
 - curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh > install.sh
 - echo | sudo sh install.sh
 - opam init --disable-sandboxing -j 2 --compiler=4.05.0 -n -y
 - eval $(opam env)
 - opam config var root
 - opam install -j 2 -y elpi
 - opam repo add coq-core-dev http://coq.inria.fr/opam/core-dev
 - opam repo add coq-extra-dev http://coq.inria.fr/opam/extra-dev

matrix:
  include:
{'fraction_non_alphanumeric': 0.13843175217812198, 'fraction_numerical': 0.01452081316553727, 'mean_word_length': 3.007751937984496, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 2, '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': '2787377', 'n_tokens_mistral': 410, 'n_tokens_neox': 395, 'n_words': 105}