sudo: required

language: python
python:
- 3.3
- 3.4
- 3.5

cache: pip

before_install:
- sudo add-apt-repository ppa:git-core/ppa -y
- sudo apt-get update
env:
  global:
  - RANDOM_SEED=12345

install:
- sudo apt-get install git; git --version
- pip install coveralls scrutinizer-ocular

before_script:
- make env
- make depends-ci

script:
- make ci

after_success:
- coveralls
- ocular

notifications:
  email:
    on_success: never
    on_failure: change

sudo: required

language: python
python:
- 3.3
- 3.4
- 3.5

cache: pip

before_install:
- sudo add-apt-repository ppa:git-core/ppa -y
- sudo apt-get update
env:
  global:
  - RANDOM_SEED=12345

install:
- sudo apt-get install git; git --version
- pip install coveralls scrutinizer-ocular mkdocs

before_script:
- make env
- make depends-ci

script:
- make ci

after_success:
- coveralls
- ocular

after_script: >
  echo $TRAVIS_BRANCH; echo $TRAVIS_PULL_REQUEST;
  if [[ $TRAVIS_BRANCH == 'develop' && $TRAVIS_PULL_REQUEST == 'false' ]]; then
    # Generate site
    mkdocs build ;
    # Configure Git with Travis CI information
    git config --global user.email "travis@travis-ci.org" ;
    git config --global user.name "travis-ci" ;
    # Delete the current repository
    rm -rf .git ;
    # Rebuild the repository from the generated files and push to GitHub pages
    cd site ;
    git init ;
    git add . ;
    git commit -m "Deploy Travis CI build $TRAVIS_BUILD_NUMBER to GitHub pages" ;
    git push -f https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG} master:gh-pages ;
  fi

notifications:
  email:
    on_success: never
    on_failure: change

Add mkdocs deployment to GitHub Pages
Add mkdocs deployment to GitHub Pages
