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