From 936a7221bb84cec28757cf25e98a1ef8722d188d Mon Sep 17 00:00:00 2001 From: Yorgos Date: Tue, 13 Oct 2026 15:45:58 +0300 Subject: [PATCH] chore: dedup workflow runs --- .github/workflows/code-formatting.yml | 9 +++++++-- .github/workflows/docker-image.yml | 9 +++++++-- 2 files changed, 14 insertions(+), 4 deletions(-) diff --git a/.github/workflows/code-formatting.yml b/.github/workflows/code-formatting.yml index 266254f..c70c189 100644 --- a/.github/workflows/code-formatting.yml +++ b/.github/workflows/code-formatting.yml @@ -3,12 +3,17 @@ name: code-formatting on: push: - branches-ignore: - - 'tmp**' + branches: + - master pull_request: branches-ignore: - 'tmp**' +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + # Cancel superseded PR runs; let every master run finish + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + jobs: editorconfig: name: Check EditorConfig compliance diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml index 33fcad0..7cc6ab8 100644 --- a/.github/workflows/docker-image.yml +++ b/.github/workflows/docker-image.yml @@ -2,10 +2,15 @@ name: Build Docker image on: push: - branches-ignore: - - master # Covered by docker-push.yml + branches: + - master pull_request: +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + # Cancel superseded PR runs; let every master run finish + cancel-in-progress: ${{ github.event_name == 'pull_request' }} + jobs: build: