Skip to content

Commit

Permalink
Update README.md with CI Badge
Browse files Browse the repository at this point in the history
  • Loading branch information
@hivert
hivert authored Jan 24, 2024
1 parent d06e98c commit d237eeb
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@ 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)

Authors
========================================================================

Expand Down

0 comments on commit d237eeb

Please sign in to comment.