diff --git a/.github/workflows/github-publish-actions.yaml b/.github/workflows/github-publish-actions.yaml index b40dd99..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: 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.