From 2aac491edffc39cd0daf60b6658fbecd561b283b Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Sun, 4 Jun 2023 13:03:13 +0200 Subject: [PATCH] Updated README.md file --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 302f10a..b79b7a5 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Free Category -[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot) -[![Haskell/CI](https://github.com/coot/free-category/actions/workflows/ci.yaml/badge.svg)](https://github.com/coot/free-category/actions) +[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg?style=for-the-badge)](http://github.com/coot) +[![Haskell/CI](https://img.shields.io/github/actions/workflow/status/coot/free-category/ci.yaml?branch=master&label=Build&style=for-the-badge)](https://github.com/coot/free-category/actions) This package contains efficient implementations of free categories. There are various representations available: