From fc3e6fbe00cc8290eef90005db994e917da7a95a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mikkel=20H=C3=B8jlund=20Larsen?= Date: Tue, 22 Aug 2023 11:37:25 +0200 Subject: [PATCH] Update .github/workflows/valgrind.yml to be concurrent --- .github/workflows/valgrind.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.github/workflows/valgrind.yml b/.github/workflows/valgrind.yml index 68af43b..786ce00 100644 --- a/.github/workflows/valgrind.yml +++ b/.github/workflows/valgrind.yml @@ -16,13 +16,21 @@ jobs: with: extra_resolve_options: ${{ github.event.inputs.extra_resolve_options }} + # Cancel previous in-progress when pushing: https://stackoverflow.com/a/72408109 concurrency: + group: ${{ github.workflow }}-${{ github.ref || github.run_id }} + cancel-in-progress: true + +# Cancel previous in-progress when pushing: https://stackoverflow.com/a/72408109 concurrency: group: ${{ github.workflow }}-${{ github.ref || github.run_id }} cancel-in-progress: true + + # Cancel previous in-progress when pushing: https://stackoverflow.com/a/72408109 concurrency: group: ${{ github.workflow }}-${{ github.ref || github.run_id }} cancel-in-progress: true +