From 567c2b31602388353500b13925ea8adc7a10dc7c Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre@roux01.fr>
Date: Mon, 31 Aug 2020 14:44:43 +0200
Subject: [PATCH] Add CI badge

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

diff --git a/README.md b/README.md
index 575d255..a9a4db2 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+[![CI](https://github.com/math-comp/dioid/workflows/CI/badge.svg?branch=master)](https://github.com/math-comp/dioid/actions?query=workflow%3ACI)
+
 Definitions of the algebraic structure of dioid following the style of
 ssralg in the Mathcomp library.