Set concurrency group in workflows

This commit is contained in:
Florian Albrechtskirchinger 2025-02-20 20:33:40 +01:00
parent 92b434812a
commit 1c965f2f1e
No known key found for this signature in database
GPG Key ID: 9C4E2AE92D3A9595
3 changed files with 14 additions and 0 deletions

View File

@ -5,6 +5,10 @@ name: abidiff
on: [push, pull_request] on: [push, pull_request]
concurrency:
group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
cancel-in-progress: true
defaults: defaults:
run: run:
shell: sh shell: sh

View File

@ -1,5 +1,11 @@
name: CIFuzz name: CIFuzz
on: [pull_request] on: [pull_request]
concurrency:
group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
cancel-in-progress: true
jobs: jobs:
Fuzzing: Fuzzing:
runs-on: ubuntu-latest runs-on: ubuntu-latest

View File

@ -20,6 +20,10 @@ on:
type: boolean type: boolean
default: true default: true
concurrency:
group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
cancel-in-progress: true
env: env:
GTEST_FILTER: ${{ github.event.inputs.gtest_filter || '*' }} GTEST_FILTER: ${{ github.event.inputs.gtest_filter || '*' }}