From 69daf21abeed67636b14235373868f043150f800 Mon Sep 17 00:00:00 2001 From: Anand Balakrishnan Date: Fri, 13 Oct 2023 15:53:39 -0700 Subject: [PATCH] chore: add PyPI badges --- README.md | 2 ++ docs/index.rst | 3 +++ 2 files changed, 5 insertions(+) diff --git a/README.md b/README.md index 85aa03e..33b356b 100644 --- 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 index 1990025..b16d1ec 100644 --- 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.