diff options
| author | Javier Jardón <jjardon@gnome.org> | 2018-04-17 07:22:21 +0100 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2018-04-17 07:22:21 +0100 |
| commit | c7ce0e8fe04c32854c6c9fe73a2e73a70ab500eb (patch) | |
| tree | dde88dff4026f0ccc57430464cf6a8ef0245f99f | |
| parent | 86587bf92d0ab986eb1a5a099953f7658da38292 (diff) | |
| download | buildstream-jjardon/build_badge.tar.gz | |
README.rst: Add pipeline status badgejjardon/build_badge
| -rw-r--r-- | README.rst | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/README.rst b/README.rst index 91a53393f..22c69e371 100644 --- a/README.rst +++ b/README.rst @@ -1,5 +1,8 @@ BuildStream =========== +.. image:: https://gitlab.com/BuildStream/buildstream/badges/master/pipeline.svg + :target: https://gitlab.com/BuildStream/buildstream/commits/master + .. image:: https://gitlab.com/BuildStream/buildstream/badges/master/coverage.svg?job=coverage :target: https://gitlab.com/BuildStream/buildstream/commits/master |