update badge.
This commit is contained in:
parent
500438ba85
commit
1cb74b6a26
1 changed files with 2 additions and 1 deletions
|
|
@ -6,7 +6,8 @@
|
|||
</figure>
|
||||
|
||||
|
||||
[](https://travis-ci.org/mvcisback/py-metric-temporal-logic)
|
||||
|
||||
[](https://cloud.drone.io/mvcisback/py-metric-temporal-logic)
|
||||
[](https://codecov.io/gh/mvcisback/py-metric-temporal-logic)
|
||||
[](https://badge.fury.io/py/metric-temporal-logic)
|
||||
[](https://opensource.org/licenses/MIT)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue