[no ci] cancel previous workflow if pr is updated (#774)

Co-authored-by: Viktor <viktorxda@users.noreply.github.com>
pull/777/head
viktorxda 2023-05-08 14:19:19 +02:00 committed by GitHub
parent a6b9d985f4
commit 7f50da9c8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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