From 9278cd37e2e823bb474a111de008a76413e4a275 Mon Sep 17 00:00:00 2001 From: Florent Hivert Date: Wed, 31 Jan 2024 17:17:05 +0100 Subject: [PATCH] Update README.md for CI badges --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index bfc742c..f24f7c3 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,9 @@ Coq-Combi Formalisation of (algebraic) combinatorics in Coq/MathComp. -[![Nix CI for bundle 8.18](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-8.18.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-8.18.yml) +[![Nix CI for coq8.17-mc2.1.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.1.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.1.0.yml) [![Nix CI for coq8.18-mc2.1.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.1.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.1.0.yml) + +[![Nix CI for coq8.17-mc2.2.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.2.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.17-mc2.2.0.yml) [![Nix CI for coq8.18-mc2.2.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.2.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.18-mc2.2.0.yml) [![Nix CI for coq8.19-mc2.2.0](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.19-mc2.2.0.yml/badge.svg)](https://github.com/math-comp/Coq-Combi/actions/workflows/nix-action-coq8.19-mc2.2.0.yml) Authors ========================================================================