From 2bb1de2b3c57759cb44b93681962542a712184bf Mon Sep 17 00:00:00 2001 From: grunweg Date: Wed, 9 Oct 2024 10:25:01 +0200 Subject: [PATCH] Synchronise workflows Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> --- .github/workflows/bors.yml | 2 +- .github/workflows/build.yml | 2 +- .github/workflows/build_fork.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml index ddacc89ce115c9..3f6a94ff9fdedd 100644 --- a/.github/workflows/bors.yml +++ b/.github/workflows/bors.yml @@ -74,7 +74,7 @@ jobs: lake exe lint-style - name: "check the formatting of the PR title and for missing or inconsistent labels" - if: github.event.pull_request.draft == false + if: github.event.pull_request.draft == false and github.event.pull_request.base == 'master' shell: bash # just in case env: TITLE: ${{ github.event.pull_request.title }} diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 16acb7d4dd64b0..088ffe577e0119 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -81,7 +81,7 @@ jobs: lake exe lint-style - name: "check the formatting of the PR title and for missing or inconsistent labels" - if: github.event.pull_request.draft == false + if: github.event.pull_request.draft == false and github.event.pull_request.base == 'master' shell: bash # just in case env: TITLE: ${{ github.event.pull_request.title }} diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml index 3c317e5b99789c..20e892675c18f5 100644 --- a/.github/workflows/build_fork.yml +++ b/.github/workflows/build_fork.yml @@ -78,7 +78,7 @@ jobs: lake exe lint-style - name: "check the formatting of the PR title and for missing or inconsistent labels" - if: github.event.pull_request.draft == false + if: github.event.pull_request.draft == false and github.event.pull_request.base == 'master' shell: bash # just in case env: TITLE: ${{ github.event.pull_request.title }}