mirror of
https://github.com/bitcoin/bitcoin.git
synced 2026-01-18 22:35:39 +01:00
e7d67efd13ci: Use concurrency for pull requests only (Hennadii Stepanov) Pull request description: This PR is an amendment for https://github.com/bitcoin/bitcoin/pull/28282. It avoids skipping builds when some pushes were done consequentially:  From GitHub Actions [docs](https://docs.github.com/en/actions/using-jobs/using-concurrency): > When a concurrent ... workflow is queued, if another ... workflow using the same concurrency group in the repository is in progress, the queued ... workflow will be pending. **Any previously pending ... workflow in the concurrency group will be canceled.** No behavior change for pull requests:  ACKs for top commit: MarcoFalke: review only ACKe7d67efd13dergoegge: lgtm ACKe7d67efd13Tree-SHA512: 360be9dbb46354d988935643e8793ea630c3416609c45aab4c39075a00a427487446a34a4fb93b490ece43cabe43640fcc6fb2ac97760e2c6ee54b95241da826