From eb3685e48f2ef0ef9589e020b0a4ce9266988c90 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 4 Aug 2020 11:06:13 -0400 Subject: [PATCH] update readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 584a2ada..cd86a6aa 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Sidekick [![Build Status](https://travis-ci.org/c-cube/sidekick.svg?branch=master)](https://travis-ci.org/c-cube/sidekick) +# Sidekick [![Build (travis)](https://travis-ci.org/c-cube/sidekick.svg?branch=master)](https://travis-ci.org/c-cube/sidekick) ![Build (gh)](https://github.com/c-cube/sidekick/workflows/Build%20sidekick-bin/badge.svg) Sidekick is an OCaml library with a functor to create SMT solvers following the CDCL(T) approach (so called "lazy SMT").