diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index c498ec4..0000000
--- a/.travis.yml
+++ /dev/null
@@ -1,16 +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="datalog:."
-  - DISTRO="ubuntu-16.04"
-  matrix:
-  - PACKAGE="datalog" OCAML_VERSION="4.03" EXTRA_DEPS="num"
-  - PACKAGE="datalog" OCAML_VERSION="4.04" EXTRA_DEPS="num"
-    #- PACKAGE="datalog" OCAML_VERSION="4.05" EXTRA_DEPS="num"
-  - PACKAGE="datalog" OCAML_VERSION="4.06" EXTRA_DEPS="num"
-  - PACKAGE="datalog" OCAML_VERSION="4.07" EXTRA_DEPS="num"
-  #- PACKAGE="datalog" OCAML_VERSION="4.02" DEPOPTS="num"
diff --git a/README.md b/README.md
index b58eb40..ff22755 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Datalog
 
-[![build status](https://travis-ci.org/c-cube/datalog.svg?branch=master "build status")](https://travis-ci.org/c-cube/datalog)
+[![build](https://github.com/c-cube/datalog/actions/workflows/main.yml/badge.svg)](https://github.com/c-cube/datalog/actions/workflows/main.yml)
 
 An in-memory datalog implementation for OCaml.