Don't run workflow if the actor is our bot

protegeproject · Jun 12, 2024 · 371b3de · 371b3de
1 parent 4f8f2e1
commit 371b3de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -8,7 +8,7 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
-    if: ${{ github.actor != 'protegeproject-bot' }}
+    if: ${{ github.actor != 'protegeproject-bot[bot]' }}
     steps:
       - uses: actions/create-github-app-token@v1
         id: app-token