Skip to content

Add missing permissions to publish into PyPI #971

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.

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

Merged
merged 1 commit into from
Apr 28, 2025
Merged

Conversation

figueroa1395
Copy link
Contributor

@figueroa1395 figueroa1395 commented Apr 28, 2025

Fixes a bug introduced in #965 where permissions to publish to PyPI via trusted publisher were not given. This adds the right permissions.

Don't merge until proven/tested to publish correctly. #972 test passes.

Signed-off-by: Santiago Figueroa Manrique <figueroa1395@gmail.com>
@figueroa1395 figueroa1395 added bug Something isn't working do-not-merge This should not be merged labels Apr 28, 2025
@figueroa1395 figueroa1395 self-assigned this Apr 28, 2025
@figueroa1395 figueroa1395 mentioned this pull request Apr 28, 2025
@figueroa1395 figueroa1395 removed the do-not-merge This should not be merged label Apr 28, 2025
@figueroa1395 figueroa1395 added this pull request to the merge queue Apr 28, 2025
Merged via the queue into main with commit d6ca3d7 Apr 28, 2025
31 of 33 checks passed
@figueroa1395 figueroa1395 deleted the fix-pypi-publishing branch April 28, 2025 10:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants