From 2b95fb924e6aff4eb8358885fcf3be012f8acf61 Mon Sep 17 00:00:00 2001
From: Parker Moore <parkrmoore@gmail.com>
Date: Sat, 7 Feb 2015 23:52:00 -0800
Subject: [PATCH] Don't duplicate work.

---
 circle.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/circle.yml b/circle.yml
index ff2a40b47..02259027f 100644
--- a/circle.yml
+++ b/circle.yml
@@ -7,3 +7,8 @@ machine:
 test:
   override:
     - script/proof -f
+general:
+  branches:
+    ignore:
+      - gh-pages # no proof script here
+      - master   # don't need to duplicate work