From 942cea9e8a5a7325dc18c1d66c57a5e96f92dbc2 Mon Sep 17 00:00:00 2001 From: Sergey Fedorov Date: Mon, 30 May 2022 10:29:14 +0200 Subject: [PATCH] Add GitHub CI badge Signed-off-by: Sergey Fedorov --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index cb9eaa574..75a8a65a6 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,4 @@ +[![Mir Test](https://github.com/filecoin-project/mir/actions/workflows/test.yml/badge.svg)](https://github.com/filecoin-project/mir/actions/workflows/test.yml) [![Total alerts](https://img.shields.io/lgtm/alerts/g/filecoin-project/mir.svg?logo=lgtm&logoWidth=18)](https://lgtm.com/projects/g/filecoin-project/mir/alerts/) # Mir - The Distributed Protocol Implementation Framework