add github ci PR concurrency cancellation

flipperdevices / Flipper-Android-App

Android Mobile app to rule all Flipper's family

https://forum.flipperzero.one/c/mobile/14

MIT License

1.39k stars 159 forks source link

add github ci PR concurrency cancellation #864

Closed makeevrserg closed 1 month ago

makeevrserg commented 1 month ago

Background

When creating pull requests and pushing multiple commits one after another, previous pipelines are not cancelld and continue to run, even if they are now useless

Changes

Here added concurrency for pull requests commits
When new pull request is pushed, the old pipelines of this PR will be cancelled

Test plan

See this PR
See after few pushes previous jobs is cancelled