From 7b98e94f42e1bca23e37aec50befecbc0fbdef96 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 18 Jul 2024 12:42:33 +0200
Subject: [PATCH] Remove old Travis CI badge

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index c4aeeb718..742358c59 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,5 @@
 # TLA+ Tools
 
-[![Build Status](https://travis-ci.org/hhu-stups/tlatools.svg)](https://travis-ci.org/hhu-stups/tlatools)
-
 Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, 
 an IDE for writing specifications and running tools to check them.
 
-- 
GitLab