From bcbc21414a23dccd0cb86615810b006d68ef6ec0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Viktor=20Kun=C4=8Dak?= <vkuncak@users.noreply.github.com> Date: Thu, 5 Sep 2024 11:50:49 +0200 Subject: [PATCH] Update README.md with status badge --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index fb194a595..24e5ce310 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -Inox [](http://laraquad4.epfl.ch:9000/epfl-lara/inox) [<img src="https://img.shields.io/maven-central/v/ch.epfl.lara/inox_2.11.svg?label=latest%20release%20for%202.11"/>](http://search.maven.org/#search%7Cga%7C1%7Cg%3Ach.epfl.lara%20a%3Ainox_2.11) [<img src="https://img.shields.io/maven-central/v/ch.epfl.lara/inox_2.12.svg?label=latest%20release%20for%202.12"/>](http://search.maven.org/#search%7Cga%7C1%7Cg%3Ach.epfl.lara%20a%3Ainox_2.12) +[](https://github.com/epfl-lara/inox/actions/workflows/inox-CI.yml/?branch=main) [<img src="https://img.shields.io/maven-central/v/ch.epfl.lara/inox_2.11.svg?label=latest%20release%20for%202.11"/>](http://search.maven.org/#search%7Cga%7C1%7Cg%3Ach.epfl.lara%20a%3Ainox_2.11) [<img src="https://img.shields.io/maven-central/v/ch.epfl.lara/inox_2.12.svg?label=latest%20release%20for%202.12"/>](http://search.maven.org/#search%7Cga%7C1%7Cg%3Ach.epfl.lara%20a%3Ainox_2.12) ========== Inox is a solver for higher-order functional programs which provides first-class support for