diff --git a/circle.yml b/circle.yml
deleted file mode 100644
index 02259027..00000000
--- a/circle.yml
+++ /dev/null
@@ -1,14 +0,0 @@
-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