Merge pull request #18 from trishullab/main

Bumped to release

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:
@@ -32,7 +29,8 @@ jobs:
       - name: Build package
         run: python -m build
 
-      - name: Publish package to PyPI via OIDC
+      - name: Publish to PyPI
         uses: pypa/[email protected]
-        # Do not specify the `pypi-token` input so that the action uses OIDC authentication.
-        # If you need to debug, you can set a token via secrets, but for OIDC leave it out.
+        with:
+          user: __token__
+          password: ${{ secrets.PYPI_API_TOKEN }}

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.