chore: clippy concurrency #10

Merged
Naxdy merged 1 commit from work/clippy-concurrency into main 2024-04-08 21:25:02 +00:00

View file

@ -3,7 +3,7 @@ name: Code quality
on: pull_request
concurrency:
group: ${{ gitea.ref }}
group: ${{ env.GITHUB_HEAD_REF }}
cancel-in-progress: true
jobs: