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