From 2346bbafa9dcefe5ed344e758c399e1507817b43 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Tue, 21 Apr 2020 22:01:43 +0200
Subject: docs(README.md): Update CI badge

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 95c73b43..909eddd2 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Proof General — Organize your proofs! 
 
-[![Build Status](https://travis-ci.org/ProofGeneral/PG.svg?branch=master)](https://travis-ci.org/ProofGeneral/PG)
+[![CI](https://github.com/ProofGeneral/PG/workflows/CI/badge.svg?branch=master)](https://github.com/ProofGeneral/PG/actions?query=workflow%3ACI)
 [![MELPA](http://melpa.org/packages/proof-general-badge.svg)](https://melpa.org/#/proof-general)
 
 ## Overview
-- 
cgit v1.2.3