🤖 concurrency groups

This commit is contained in:
Ettore Di Giacinto
2023-02-09 22:06:31 +01:00
committed by GitHub
parent 39aadaaf84
commit 5d129b07f1

View File

@@ -1,7 +1,7 @@
name: PR build
concurrency:
group: "pr-build"
#cancel-in-progress: true
group: pr-${{ github.head_ref || github.ref }}-${{ github.repository }}
cancel-in-progress: true
on:
pull_request: