From 24cd9cd00c70916b07ec5bf4638b92f52b3f9326 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Basile=20Cl=C3=A9ment?=
 <129742207+bclement-ocp@users.noreply.github.com>
Date: Fri, 13 Oct 2023 12:20:30 +0000
Subject: [PATCH] Replace Travis badges with GitHub Actions badges in README
 (#882)

We no longer use Travis.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 6ab0e5c39..e4c29c75e 100644
--- a/README.md
+++ b/README.md
@@ -8,7 +8,7 @@ Also see the [Alt-Ergo Users' Club].
 ## Build status
 next | main
 ------------ | -------------
-[![Build Status (next)](https://travis-ci.org/OCamlPro/alt-ergo.svg?branch=next)](https://travis-ci.org/OCamlPro/alt-ergo) | [![Build Status (main)](https://travis-ci.org/OCamlPro/alt-ergo.svg?branch=main)](https://travis-ci.org/OCamlPro/alt-ergo) 
+![Build Status (next)](https://github.com/OCamlPro/alt-ergo/actions/workflows/build.yml/badge.svg?branch=next) | ![Build Status (main)](https://github.com/OCamlPro/alt-ergo/actions/workflows/build.yml/badge.svg?branch=main)
 
 ## Website