From ef9f9b473812d1b064906ff67c98681206f1bbde Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Tue, 16 Mar 2021 10:29:40 +0100
Subject: [PATCH] Remove Travis CI config

---
 .travis.yml | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index e2b2284c..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-# Disable Docker stuff to try to make it faster
-sudo: true
-dist: bionic
-
-# Choose a lightweight base image; we provide our own build tools.
-language: generic
-
-# GHC depends on GMP. You can add other dependencies here as well.
-addons:
-  apt:
-    packages:
-    - libgmp-dev
-
-# Edit etc/ci-script.sh to change GHC version
-script:
-- ./etc/check.sh
-
-cache:
-  directories:
-    - $HOME/.stack
-    - $HOME/.stackage/curator/cache