[no ci] cancel previous workflow if pr is updated

pull/774/head
Viktor 2023-05-08 10:26:14 +02:00
parent a6b9d985f4
commit 989a8d7f20
1 changed files with 4 additions and 0 deletions

View File

@ -17,6 +17,10 @@ on:
- '**.md'
workflow_dispatch:
concurrency:
group: ${{ github.head_ref }}
cancel-in-progress: true
env:
MAX_KERNEL_SIZE: 0x200000
MAX_ROOTFS_SIZE: 0x500000