From 95d977bf0b1825b7d822abbdd062cdb8c38051cb Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 22 Jan 2019 23:29:28 +0100
Subject: Remove travis

The azure OSX job replaces the first travis job, and the second always
fails and so is useless.
---
 README.md | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index e8300ca552..65673ab1fe 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,6 @@
 
 [![GitLab][gitlab-badge]][gitlab-link]
 [![Azure Pipelines][azure-badge]][azure-link]
-[![Travis][travis-badge]][travis-link]
 [![Appveyor][appveyor-badge]][appveyor-link]
 [![Gitter][gitter-badge]][gitter-link]
 [![DOI][doi-badge]][doi-link]
@@ -13,9 +12,6 @@
 [azure-badge]: https://dev.azure.com/coq/coq/_apis/build/status/coq.coq?branchName=master
 [azure-link]: https://dev.azure.com/coq/coq/_build/latest?definitionId=1?branchName=master
 
-[travis-badge]: https://travis-ci.org/coq/coq.svg?branch=master
-[travis-link]: https://travis-ci.org/coq/coq/builds
-
 [appveyor-badge]: https://ci.appveyor.com/api/projects/status/eln43k05pa2vm908/branch/master?svg=true
 [appveyor-link]: https://ci.appveyor.com/project/coq/coq/branch/master
 
-- 
cgit v1.2.3