From c0ec15002fb7ca131cd2fde1783a045c8eeafd1c Mon Sep 17 00:00:00 2001 From: Marco Schaeck Date: Tue, 6 Oct 2026 12:29:11 +0200 Subject: [PATCH] ci: run development build once per pull request Restrict the push trigger to develop. Branches with an open pull request were built twice, once for push and once for pull_request. --- .github/workflows/development.yml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/.github/workflows/development.yml b/.github/workflows/development.yml index a024b30..3ad76a4 100644 --- a/.github/workflows/development.yml +++ b/.github/workflows/development.yml @@ -6,10 +6,7 @@ permissions: on: push: branches: - - '*' # matches every branch that doesn't contain a '/' - - '*/*' # matches every branch containing a single '/' - - '**' # matches every branch - - '!master' + - develop pull_request: branches: - '*' # matches every branch that doesn't contain a '/' @@ -74,7 +71,7 @@ jobs: fi - name: Upload coverage to Codecov - if: github.event_name == 'push' && github.actor != 'dependabot[bot]' + if: github.actor != 'dependabot[bot]' uses: codecov/codecov-action@v7.1.1 with: token: ${{secrets.CODECOV_TOKEN}}