diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index d666743d..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,17 +0,0 @@
-language: c
-install: wget https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-docker.sh
-script: bash -ex .travis-docker.sh
-services:
-- docker
-env:
-  global:
-    - PINS="sidekick:. sidekick-arith:. sidekick-bin:."
-  - DISTRO="ubuntu-16.04"
-  matrix:
-  - PACKAGE="sidekick" CAML_VERSION="4.03"
-  - PACKAGE="sidekick" CAML_VERSION="4.06"
-  - PACKAGE="sidekick" CAML_VERSION="4.08"
-  - PACKAGE="sidekick" CAML_VERSION="4.10"
-  - PACKAGE="sidekick-arith" CAML_VERSION="4.03"
-  - PACKAGE="sidekick-arith" CAML_VERSION="4.10"
-  - PACKAGE="sidekick-bin" CAML_VERSION="4.06"
diff --git a/README.md b/README.md
index cd86a6aa..d4bc6182 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Sidekick [![Build (travis)](https://travis-ci.org/c-cube/sidekick.svg?branch=master)](https://travis-ci.org/c-cube/sidekick) ![Build (gh)](https://github.com/c-cube/sidekick/workflows/Build%20sidekick-bin/badge.svg)
+# Sidekick ![Build (gh)](https://github.com/c-cube/sidekick/workflows/Build%20sidekick-bin/badge.svg)
 
 Sidekick is an OCaml library with a functor to create SMT solvers following
 the CDCL(T) approach (so called "lazy SMT").