.github: cancel ci for stale PR commits

This commit is contained in:
Sina Mahmoodi 2026-05-13 16:22:16 +00:00
parent 21c5a287f9
commit 653b3b9355

View file

@ -7,6 +7,10 @@ on:
- master
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
jobs:
lint:
name: Lint