mirror of https://github.com/pybind/pybind11.git
Without the `group` this happened:
[pybind/pybind11] CI workflow run CI: No jobs were run
This commit is contained in:
parent
f0d2da3d30
commit
c31e79a33b
|
@ -13,7 +13,7 @@ on:
|
|||
permissions: read-all
|
||||
|
||||
concurrency:
|
||||
group: test-sh-avl${{ github.ref }}
|
||||
group: test-sh-avl${{ github.ref }} # TO BE REMOVED BEFORE MERGING INTO master
|
||||
cancel-in-progress: true
|
||||
|
||||
env:
|
||||
|
|
Loading…
Reference in New Issue