From c561f6ae7091e632eca81c8aff717b97ddb9d415 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 4 Jul 2021 00:27:31 -0400 Subject: [PATCH] doc: update readme skipci --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 98309cfe..08dddc8b 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Sidekick ![Build (gh)](https://github.com/c-cube/sidekick/workflows/Build%20sidekick-bin/badge.svg) +# Sidekick [![Build](https://github.com/c-cube/sidekick/actions/workflows/main.yml/badge.svg)](https://github.com/c-cube/sidekick/actions/workflows/main.yml) Sidekick is an OCaml library with a functor to create SMT solvers following the CDCL(T) approach (so called "lazy SMT"). See [below](#short-summary)