release environment for trusted publishing

runtimeverification · Oct 13, 2023 · 3654923 · 3654923
1 parent 6e5fc0c
commit 3654923
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -43,6 +43,11 @@ jobs:
     strategy:
       matrix:
         python-version: ['3.10', '3.11']
+    environment:
+      name: release
+      url: https://test.pypi.org/RuntimeVerificationTest
+    permissions:
+      id-token: write
     steps:
       - name: 'Install Python'
         uses: actions/setup-python@v4
@@ -62,5 +67,5 @@ jobs:
         run: |
           cd ./test-project
           poetry build
-          poetry publish
-        
+
+