Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

PyPI automatic release upload #19

Merged
merged 2 commits into from
Oct 2, 2023
Merged

PyPI automatic release upload #19

merged 2 commits into from
Oct 2, 2023

Conversation

nicovank
Copy link
Collaborator

@nicovank nicovank commented Oct 2, 2023

There was an existing script, so this is basically just an update to match CWhy (some versions updated).

Copying from plasma-umass/cwhy#36:

@emeryberger you need to go to PyPI > Account settings > API tokens and create a new one for this repository. Then go to CWhy settings > Secrets and variables > Actions and add a new repository secret with key PYPI_API_TOKEN. Ready to stamp and merge after that.

@emeryberger emeryberger merged commit 32c33b8 into main Oct 2, 2023
2 checks passed
@nicovank nicovank deleted the pypi-release-upload branch October 2, 2023 16:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@emeryberger emeryberger Awaiting requested review from emeryberger

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nicovank @emeryberger