machine:
  timezone: UTC
  ruby:
    version: 2.1.5
  environment:
    PROOF: true
test:
  override:
    - script/proof -f
general:
  branches:
    ignore:
      - gh-pages # no proof script here
      - master   # don't need to duplicate work