diff --git a/.circleci/config.yml b/.circleci/config.yml
new file mode 100644
index 00000000..ba0a3db7
--- /dev/null
+++ b/.circleci/config.yml
@@ -0,0 +1,58 @@
+version: 2.1
+
+defaults: &defaults
+  environment:
+    OPAMBESTEFFORT: true
+    OPAMJOBS: 2
+    OPAMVERBOSE: 1
+    OPAMWITHTEST: true
+    OPAMYES: true
+    TERM: xterm
+  resource_class: medium
+  steps:
+  - checkout
+  - run:
+      name: Configure environment
+      command: echo . ~/.profile >> $BASH_ENV
+  - run:
+      name: Install dependencies
+      command: |
+          opam repo -a add coq-extra-dev https://coq.inria.fr/opam/extra-dev
+          opam update
+          opam install --deps-only .
+  - run:
+      name: List installed packages
+      command: opam list
+  - run:
+      name: Build, test, and install package
+      command: opam install .
+  - run:
+      name: Uninstall package
+      command: opam remove .
+
+jobs:
+  coq 8_8:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.8
+  coq 8_9:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.9
+  coq 8_10:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.10
+  coq 8_11:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.11
+
+workflows:
+  version: 2
+  build:
+    jobs:
+    - coq 8_8
+    - coq 8_9
+    - coq 8_10
+    - coq 8_11
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index 530c86c3..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,43 +0,0 @@
-language: c
-sudo: required
-env:
-  global:
-  - OPAMVERBOSE=1
-  - OPAMYES=true
-  - OPAMKEEPBUILDDIR=true
-  - OPAMWITHTEST=true
-  matrix:
-  - OCAML_VERSION=4.07 COQ_VERSION="8.8.2"
-  - OCAML_VERSION=4.07 COQ_VERSION="8.9.0"
-  - OCAML_VERSION=4.09 COQ_VERSION="8.10.2"
-os:
-  - linux
-    # - osx
-matrix:
-  fast_finish: true
-  allow_failures:
-  - os: osx
-cache:
-  apt: true
-  directories:
-  - $HOME/.opam
-  - $HOME/Library/Caches/Homebrew
-
-before_install:
-  # Install OCaml and opam
-  - curl -L https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-ocaml.sh | sh
-
-install:
-- eval $(opam config env)
-- opam repo add coq-released https://coq.inria.fr/opam/released
-- opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
-- opam pin add coq $COQ_VERSION
-- opam pin add coq-itree --kind=path . -n  # Make opam aware of our dependency constraints
-- opam install coq-itree --deps-only -v
-- opam list
-
-script:
-- set -e
-- opam install coq-itree -v
-- opam upgrade
-- opam remove coq-itree -v
diff --git a/coq-itree.opam b/coq-itree.opam
index 520d8407..39ea02d0 100644
--- a/coq-itree.opam
+++ b/coq-itree.opam
@@ -15,7 +15,7 @@ run-test: [ make "-j%{jobs}%" "all" ]
 
 depends: [
   "ocaml"
-  "coq" {>= "8.8" & < "8.11~"}
+  "coq" {>= "8.8" & < "8.12~"}
   "coq-ext-lib" {>= "0.11.1" & < "0.12"}
   "coq-paco" {>= "4.0.0" & < "4.1.0"}
   "ocamlbuild" {with-test}