From 1e3ff075a6875550844b8742da7db9f98f6f81bf Mon Sep 17 00:00:00 2001 From: Mrugesh Mohapatra Date: Wed, 7 Oct 2026 18:43:31 +0530 Subject: [PATCH] fix(ci): exempt known bots from web commit check --- .github/workflows/github-no-web-commits.yml | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/.github/workflows/github-no-web-commits.yml b/.github/workflows/github-no-web-commits.yml index fbd4b5b3..9856d639 100644 --- a/.github/workflows/github-no-web-commits.yml +++ b/.github/workflows/github-no-web-commits.yml @@ -10,8 +10,20 @@ on: # # - synchronize +permissions: {} + +concurrency: + group: ${{ github.workflow }}-${{ github.event.pull_request.number }} + cancel-in-progress: true + jobs: has-web-commits: + if: >- + ${{ !(github.event.pull_request.user.type == 'Bot' && + contains(fromJSON('["renovate[bot]", "dependabot[bot]", "github-actions[bot]"]'), + github.event.pull_request.user.login)) }} + permissions: + pull-requests: write runs-on: ubuntu-22.04 steps: @@ -25,7 +37,7 @@ jobs: if [ "$IS_GITHUB_COMMIT" = "true" ]; then # Set variable for next task - echo "IS_GITHUB_COMMIT=true" >> $GITHUB_ENV + echo "IS_GITHUB_COMMIT=true" >> "$GITHUB_ENV" fi - name: Add comment on PR if commits are made on GitHub Web UI