From 00e4fd485d110264e8a614bf4cd4407412cc8175 Mon Sep 17 00:00:00 2001 From: Kirk Haines Date: Fri, 29 Sep 2023 09:07:24 -0600 Subject: [PATCH] Add badges. --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index fddf29f..8ac5538 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,7 @@ +![Topos Playground CI](https://img.shields.io/github/actions/workflow/status/wyhaines/topos-playground.cr/ci.yml?branch=main&style=for-the-badge&logo=GitHub) +[![GitHub release](https://img.shields.io/github/release/wyhaines/topos-playground.cr.svg?style=for-the-badge)](https://github.com/wyhaines/topos-playground.cr/releases) +![GitHub commits since latest release (by SemVer)](https://img.shields.io/github/commits-since/wyhaines/topos-playground.cr/latest?style=for-the-badge) +