Merge pull request #189 from carlocorradini/carlocorradini-patch-1

ci: update ci.yml
carlocorradini · May 18, 2023 · 627423d · 627423d
2 parents 613cd1d + 750e206
commit 627423d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -84,6 +84,9 @@ jobs:
     needs: integration
     if: needs.integration.result == 'success' && startsWith(github.ref, 'refs/tags/')
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      id-token: write
     steps:
       - name: Checkout
         uses: actions/checkout@v3