<commit_before>dist: trusty

# Travis builds are slower using sudo: false (the container-based
# infrastructure) as of March 2017; see
# https://github.com/coq/coq/pull/467 for some discussion.
sudo: required

# Until Ocaml becomes a language, we set a known one.
language: c

cache:
  apt: true
  directories:
  - $HOME/.opam

before_cache:
  - rm -rf ~/.opam/log/

addons:
  apt:
    sources:
    - avsm
## Due to issues like
## https://github.com/travis-ci/travis-ci/issues/8507 ,
## https://github.com/travis-ci/travis-ci/issues/9000 ,
## https://github.com/travis-ci/travis-ci/issues/9081 , and
## https://github.com/travis-ci/travis-ci/issues/9126 , we get frequent
## failures with using `packages`.  Therefore, for most targets, we
## instead invoke `apt-get update` manually with `travis_retry` before
## invoking `apt-get install`, manually, below in the `install:`
## target.
#    packages:
#    - opam
#    - aspcud
#    - gcc-multilib

env:
  global:
  - NJOBS=2
  # system is == 4.02.3
  - COMPILER="system"
  - COMPILER_BE="4.06.1"
  - CAMLP5_VER=".6.14"
  - CAMLP5_VER_BE=".7.05"
  - FINDLIB_VER=".1.4.1"
  - FINDLIB_VER_BE=".1.8.0"
  - LABLGTK="lablgtk.2.18.3 lablgtk-extras.1.6"
  - LABLGTK_BE="lablgtk.2.18.6 lablgtk-extras.1.6"
  - NATIVE_COMP="yes"
  - COQ_DEST="-local"
  - MAIN_TARGET="world"

matrix:

  include:
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="test-suite" COMPILER="4.02.3+32bit" EXTRA_OPAM="ounit"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="validate"                           TW="travis_wait"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="validate"   COMPILER="4.02.3+32bit" TW="travis_wait"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="validate"   COMPILER="${COMPILER_BE}+flambda" CAMLP5_VER="${CAMLP5_VER_BE}" NATIVE_COMP="no" EXTRA_CONF="-flambda-opts -O3" FINDLIB_VER="${FINDLIB_VER_BE}"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-bignums"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-color"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-compcert" EXTRA_OPAM="menhir"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-coq-dpdgraph" EXTRA_OPAM="ocamlgraph"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-coquelicot"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-equations"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-fcsl-pcm"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-fiat-parsers"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-flocq"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-hott"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-ltac2"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-math-classes"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-mtac2"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-pidetop"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-sf"

    - env:
      - TEST_TARGET="lint"
      install: []
      before_script: []
      addons:
      apt:
        sources: []
        packages: []
      script:
        - dev/lint-repository.sh

    # Full Coq test-suite with two compilers
    - if: NOT (type = pull_request)<commit_msg>Remove some Travis jobs to make the build faster.<commit_after>dist: trusty

# Travis builds are slower using sudo: false (the container-based
# infrastructure) as of March 2017; see
# https://github.com/coq/coq/pull/467 for some discussion.
sudo: required

# Until Ocaml becomes a language, we set a known one.
language: c

cache:
  apt: true
  directories:
  - $HOME/.opam

before_cache:
  - rm -rf ~/.opam/log/

addons:
  apt:
    sources:
    - avsm
## Due to issues like
## https://github.com/travis-ci/travis-ci/issues/8507 ,
## https://github.com/travis-ci/travis-ci/issues/9000 ,
## https://github.com/travis-ci/travis-ci/issues/9081 , and
## https://github.com/travis-ci/travis-ci/issues/9126 , we get frequent
## failures with using `packages`.  Therefore, for most targets, we
## instead invoke `apt-get update` manually with `travis_retry` before
## invoking `apt-get install`, manually, below in the `install:`
## target.
#    packages:
#    - opam
#    - aspcud
#    - gcc-multilib

env:
  global:
  - NJOBS=2
  # system is == 4.02.3
  - COMPILER="system"
  - COMPILER_BE="4.06.1"
  - CAMLP5_VER=".6.14"
  - CAMLP5_VER_BE=".7.05"
  - FINDLIB_VER=".1.4.1"
  - FINDLIB_VER_BE=".1.8.0"
  - LABLGTK="lablgtk.2.18.3 lablgtk-extras.1.6"
  - LABLGTK_BE="lablgtk.2.18.6 lablgtk-extras.1.6"
  - NATIVE_COMP="yes"
  - COQ_DEST="-local"
  - MAIN_TARGET="world"

matrix:

  include:
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="test-suite" COMPILER="4.02.3+32bit" EXTRA_OPAM="ounit"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="validate"                           TW="travis_wait"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="validate"   COMPILER="4.02.3+32bit" TW="travis_wait"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="validate"   COMPILER="${COMPILER_BE}+flambda" CAMLP5_VER="${CAMLP5_VER_BE}" NATIVE_COMP="no" EXTRA_CONF="-flambda-opts -O3" FINDLIB_VER="${FINDLIB_VER_BE}"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-color"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-compcert" EXTRA_OPAM="menhir"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-coq-dpdgraph" EXTRA_OPAM="ocamlgraph"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-coquelicot"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-equations"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-fiat-parsers"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-flocq"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-hott"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-ltac2"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-mtac2"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-pidetop"
    - if: NOT (type = pull_request)
      env:
      - TEST_TARGET="ci-sf"

    - env:
      - TEST_TARGET="lint"
      install: []
      before_script: []
      addons:
      apt:
        sources: []
        packages: []
      script:
        - dev/lint-repository.sh

    # Full Coq test-suite with two compilers
    - if: NOT (type = pull_request)
{'fraction_non_alphanumeric': 0.14740917212626564, 'fraction_numerical': 0.022334723049434187, 'mean_word_length': 2.4270408163265307, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 10, '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': '2671729', 'n_tokens_mistral': 2635, 'n_tokens_neox': 2558, 'n_words': 505}