Skip to content

Commit

Permalink
Add CI badge
Browse files Browse the repository at this point in the history
  • Loading branch information
@proux01
proux01 committed Aug 31, 2020
1 parent aa7de57 commit 567c2b3
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
@@ -1,3 +1,5 @@
[![CI](https://github.com/math-comp/dioid/workflows/CI/badge.svg?branch=master)](https://github.com/math-comp/dioid/actions?query=workflow%3ACI)

Definitions of the algebraic structure of dioid following the style of
ssralg in the Mathcomp library.

Expand Down

0 comments on commit 567c2b3

Please sign in to comment.