diff --git a/.github/workflows/github-publish-actions.yaml b/.github/workflows/github-publish-actions.yaml
index 818ee6c..1dae7ac 100644
--- a/.github/workflows/github-publish-actions.yaml
+++ b/.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/gh-action-pypi-publish@v1.5.0
-        # 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 }}
diff --git a/README.md b/README.md
index ee1c034..a1fc510 100644
--- a/README.md
+++ b/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.