chore: merge master to dev

2026-08-02 16:59:37 +00:00 · 2026-07-28 18:06:23 +02:00
parent 32506b4e8a 52d5316377
commit 7598b38ed8
1 changed files with 3 additions and 1 deletions
@@ -10,8 +10,10 @@ jobs:
        runs-on: ubuntu-latest
        steps:
            - name: Fail PR to master
+              env:
+                  PR_TITLE: ${{ github.event.pull_request.title }}
              run: |
-                  if [[ "${{ github.event.pull_request.title }}" == "chore(dev): release"* ]]; then
+                  if [[ "$PR_TITLE" == "chore(dev): release"* ]]; then
                    echo "PR title starts with 'chore(dev): release', allowing PR"
                  else
                    echo "Pull requests to the master branch are not allowed, target dev branch"