Merge pull request #17 from trishullab/usr/amit9oct/readme-fix

Fixed the README, changed the release to manual trigger.

Author: amit9oct

.github/workflows/github-publish-actions.yaml

@@ -1,10 +1,7 @@
 name: Publish to PyPI
 
 on:
-  push:
-    # This example triggers on any branch named "release"
-    branches:
-      - release
+  workflow_dispatch:
 
 jobs:
   publish:

README.md

@@ -1,3 +1,7 @@
+[![Build Status](https://github.com/trishullab/itp-interface/actions/workflows/github-build-actions.yaml/badge.svg)](https://github.com/trishullab/itp-interface/actions/workflows/github-build-actions.yaml)
+[![PyPI version](https://img.shields.io/pypi/v/itp-interface.svg)](https://pypi.org/project/itp-interface/)
+[![PyPI downloads](https://img.shields.io/pypi/dm/itp-interface.svg)](https://pypi.org/project/itp-interface/)
+
 # itp-interface
 Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.