From e2541dfd3af050f176098059be6775d4221288b4 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Sun, 9 Feb 2025 03:17:46 -0600 Subject: [PATCH 1/2] Added badge to the README --- README.md | 4 ++++ 1 file changed, 4 insertions(+) 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. From 9dd5cee73a6fb41081aa8217e27f8f85b6debe9e Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Sun, 9 Feb 2025 03:18:05 -0600 Subject: [PATCH 2/2] Publish only on manual trigger --- .github/workflows/github-publish-actions.yaml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) 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: