diff --git a/README.md b/README.md index 3c3313b3..8c709041 100644 --- 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.