From 2a85ae2e711d763a38e2c496088503b978023857 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Konrad=20N=C3=B6lle?= Date: Fri, 19 Jul 2024 12:57:54 +0200 Subject: [PATCH] Cancel pending jobs --- .github/workflows/pull-request.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml index ca765b34eb..9439c21105 100644 --- a/.github/workflows/pull-request.yml +++ b/.github/workflows/pull-request.yml @@ -10,6 +10,10 @@ env: NAOSDK_HOME: /__w/hulk/naosdk NAOSDK_AUTOMATIC_YES: 1 +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + + jobs: check: name: Check