<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:
- scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-lint
- scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-install-remove ${HOME}/opam-cache/cache-${COMPILER}.tgz
        
dist: trusty
sudo: required
matrix:
  include:
  - os: linux
    addons:
      apt:
        sources:
        - avsm
        packages:
        - opam
        - aspcud
        - gcc-multilib
        - libgtksourceview2.0-dev
  - os: osx
    osx_image: xcode7.3
    before_install:
    - brew update
    - brew install opam
    <commit_msg>travis: set -o pipefail<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:
- set -o pipefail
- scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-lint
- scripts/opam-coq-list-pr-files | xargs scripts/opam-coq-install-remove ${HOME}/opam-cache/cache-${COMPILER}.tgz
        
dist: trusty
sudo: required
matrix:
  include:
  - os: linux
    addons:
      apt:
        sources:
        - avsm
        packages:
        - opam
        - aspcud
        - gcc-multilib
        - libgtksourceview2.0-dev
  - os: osx
    osx_image: xcode7.3
    before_install:
    - brew update
    - brew install opam
    
{'fraction_non_alphanumeric': 0.13315926892950392, 'fraction_numerical': 0.01174934725848564, 'mean_word_length': 2.1349693251533743, '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': '3649772', 'n_tokens_mistral': 609, 'n_tokens_neox': 595, 'n_words': 108}