Use an environment to push to pypi (#54)

By using an environment to push to pypi, we disallow people who don't
have approval rights from using it, allow us to be more flexible with
the CI
This commit is contained in:
Gabriel de Marmiesse
2026-01-17 15:09:54 +01:00
committed by GitHub
parent 636ec2360d
commit 8a2a29efe9
+2
View File
@@ -7,6 +7,8 @@ on:
jobs:
deploy:
runs-on: ubuntu-latest
environment:
name: push_to_pypi
permissions:
id-token: write
steps: