mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-13 22:16:16 +00:00
chore: allow concurrent runs
This commit is contained in:
1 parent
281ddd5421
commit
cc25afcd4a
1 file changed
+1
-1
@@ -13,7 +13,7 @@ on:
|
||||
workflow_dispatch:
|
||||
|
||||
concurrency:
|
||||
group: ${{ github.ref }}-validation
|
||||
group: pr-${{ github.event.pull_request.number }}
|
||||
cancel-in-progress: true
|
||||
|
||||
jobs:
|
||||
|
||||
Reference in new issue
Block a user