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

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

2026-03-04 00:34:32 +09:00

..

workflows

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

2026-03-04 00:34:32 +09:00