From 11c1489d8906ef62485b9b9d145f44acc4b9471a Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 21 Dec 2018 12:09:49 +0100
Subject: README.md: Add GitLab CI badge

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

(limited to 'README.md')

diff --git a/README.md b/README.md
index 44ac8fd..0d09e10 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,4 @@
+[![pipeline status](https://gitlab.com/math-comp/math-comp/badges/master/pipeline.svg)](https://gitlab.com/math-comp/math-comp/commits/master)
 [![Build Status](https://travis-ci.org/math-comp/math-comp.svg?branch=master)](https://travis-ci.org/math-comp/math-comp)
 [![Join the chat at https://gitter.im/math-comp/](https://badges.gitter.im/math-comp.svg)](https://gitter.im/math-comp?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
 
-- 
cgit v1.2.3