From eb2a9c654f83934b7d4563db5137bd927f8ceb85 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 17 Jul 2020 21:34:36 +0100
Subject: Remove travis CI

---
 .travis.yml | 4 ----
 README.md   | 2 +-
 2 files changed, 1 insertion(+), 5 deletions(-)
 delete mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index dd99ef4..0000000
--- a/.travis.yml
+++ /dev/null
@@ -1,4 +0,0 @@
-language: nix  # automatically runs nix-build
-
-git:
-  depth: 3     # not 1 to build commits in the queue
diff --git a/README.md b/README.md
index 0f1041e..e426ba4 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# Vericert [![Build Status](https://travis-ci.com/ymherklotz/vericert.svg?token=qfBKKGwxeWkjDsy7e16x&branch=master)](https://travis-ci.com/ymherklotz/vericert)
+# VeriCert ![CI](https://github.com/ymherklotz/vericert/workflows/CI/badge.svg)
 
 A formally verified HLS tool in Coq, building on top of [CompCert](https://github.com/AbsInt/CompCert).
 
-- 
cgit