Merge pull request #12 from protegeproject/update-release-workflow-2

Don't run workflow if the protegeproject-bot is the actor
protegeproject · Jun 12, 2024 · 25ced79 · 25ced79
2 parents 1aef33b + 4f8f2e1
commit 25ced79
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' }}
     steps:
       - uses: actions/create-github-app-token@v1
         id: app-token