aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorCyril Cohen2019-01-15 10:43:00 +0100
committerGitHub2019-01-15 10:43:00 +0100
commitb0ef24be9fe47abbcc2c82e668091d4b32283c8b (patch)
tree525e969fd2a51d3f5c387a8447a18bfd8f838407 /README.md
parent528d71783b0e34181d720a6456ea0a87a01abe25 (diff)
parent11c1489d8906ef62485b9b9d145f44acc4b9471a (diff)
Merge pull request #266 from erikmd/setup-gitlab-ci
Setup Docker-based configuration for GitLab CI
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
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)