Update README.md

giovinazzo-kevin · Jan 1, 2024 · d86fafc · d86fafc
1 parent 1c49a66
commit d86fafc
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,3 +1,5 @@
+![example workflow](https://github.com/G3Kappa/Ergo/actions/workflows/dotnet.yml/badge.svg)
+
 ## Design Goals
 Ergo brings first-order logic to the .NET world through a lightweight and extensible Prolog implementation written entirely in C#. It is a relatively young project, so it's neither ISO-compliant nor stable, but it's been consistently improving over the past few years.