ci: PR と push の重複実行を concurrency グループで抑制

同一ブランチへの push と pull_request イベントが同時に発火した際に
後から来た方が先のジョブをキャンセルするよう concurrency を設定する。

.github/workflows/ci.yml

@@ -8,6 +8,10 @@ on:
     branches: [main, "takt/**"]
   workflow_dispatch:
 
+concurrency:
+  group: ci-${{ github.event_name == 'pull_request' && github.head_ref || github.ref_name }}
+  cancel-in-progress: true
+
 jobs:
   lint:
     runs-on: ubuntu-latest