chore: add PyPI badges

anand-bala · Oct 13, 2023 · 69daf21 · 69daf21
1 parent 31845b6
commit 69daf21
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,8 @@
 Argus: Temporal Logic Monitoring Tool
 =====================================
 
+[![PyPI version](https://badge.fury.io/py/argus-temporal-logic.svg)](https://badge.fury.io/py/argus-temporal-logic)
+
 Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its
 different semantics.
 

diff --git a/docs/index.rst b/docs/index.rst
@@ -1,6 +1,9 @@
 Argus: Temporal Logic Monitoring Tool
 =====================================
 
+.. image:: https://badge.fury.io/py/argus-temporal-logic.svg
+    :target: https://badge.fury.io/py/argus-temporal-logic
+
 Argus aims to be a tool to generate monitors for Signal Temporal Logic (STL), and its
 different semantics.