From 8d13d5d192b377d2aa02859a70a0e89c470d9734 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Fri, 13 Oct 2023 13:07:26 +0200 Subject: [PATCH] Replace Travis badges with GitHub Actions badges in README 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