Add badges.

wyhaines · Sep 29, 2023 · 00e4fd4 · 00e4fd4
1 parent 61449c3
commit 00e4fd4
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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)
+
 <div id="top" />
 <br />
 <div align="center">