Merge pull request #6 from protegeproject/update-release-workflow

Use GitHub protegeproject-bot app
protegeproject · Jun 5, 2024 · b8bdf29 · b8bdf29
2 parents d315283 + 8f04931
commit b8bdf29
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -10,9 +10,14 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/create-github-app-token@v1
+        id: app-token
         with:
-          token: ${{ secrets.GITHUB_TOKEN }}
+          app-id: ${{ secrets.PROTEGEPROJECT_BOT_APP_ID }}
+          private-key: ${{ secrets.PROTEGEPROJECT_BOT_APP_TOKEN }}
+      - uses: actions/checkout@v4
+        with:
+          token: ${{ steps.app-token.outputs.token }}
           ref: ${{ github.head_ref }}
       - name: Set up JDK 17
         uses: actions/setup-java@v3