From f8b2bac1d5da58e85a223dfa9d4c1f20ebd30e2d Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Sun, 9 Feb 2025 02:59:52 -0600 Subject: [PATCH 1/3] Fixed the publish actions to use the pypi token --- .github/workflows/github-publish-actions.yaml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/github-publish-actions.yaml b/.github/workflows/github-publish-actions.yaml index 818ee6c..b40dd99 100644 --- a/.github/workflows/github-publish-actions.yaml +++ b/.github/workflows/github-publish-actions.yaml @@ -32,7 +32,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 }} From e2541dfd3af050f176098059be6775d4221288b4 Mon Sep 17 00:00:00 2001 From: Amitayush Thakur Date: Sun, 9 Feb 2025 03:17:46 -0600 Subject: [PATCH 2/3] 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 3/3] 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: