ci: Ensure that only a single workflow processes github.ref at a time #28282

1. 
   hebasto commented at 10:24 am on August 17, 2023: member

   This PR ensures that only a single workflow processes any push or pull request at a time.

   A new push will be queued (including the master branch).

   For a new pull request update, the previous in-progress one will be cancelled.

   Address #28187 (review).

2. 
   DrahtBot commented at 10:24 am on August 17, 2023: contributor

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Reviews

   See the guideline for information on the review process.

   Type	Reviewers
   ACK	dergoegge
   Concept ACK	MarcoFalke

   If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.

3. DrahtBot added the label Tests on Aug 17, 2023
4. in .github/workflows/ci.yml:18 in 87b48928dc outdated

   12@@ -13,6 +13,10 @@ on:
   13     tags-ignore:
   14       - '**'
   15 
   16+concurrency:
   17+  group: ${{ github.ref }}
   18+  cancel-in-progress: ${{ github.event_name == 'pull_request' && 'true' }}
   

   ---

   ---

   

   maflcko commented at 10:36 am on August 17, 2023:

   0  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
   

   why is this needed?

   ---

   

   hebasto commented at 10:50 am on August 17, 2023:

   Thanks! Updated.
5. 
   maflcko commented at 10:36 am on August 17, 2023: member

   ACK
6. ci: Ensure that only a single workflow processes `github.ref` at a time 0080b5650e
7. hebasto force-pushed on Aug 17, 2023
8. DrahtBot added the label CI failed on Aug 17, 2023
9. 
   maflcko commented at 11:38 am on August 17, 2023: member

   Could do the same in the secp repo?
10. dergoegge approved
11. 
    dergoegge commented at 12:08 pm on August 17, 2023: member

    utACK 0080b5650e0bf125612e62b591f348076e9ad5d7
12. fanquake merged this on Aug 17, 2023
13. fanquake closed this on Aug 17, 2023

    ---

14. hebasto deleted the branch on Aug 17, 2023
15. 
    hebasto commented at 1:37 pm on August 17, 2023: member

    Could do the same in the secp repo?

    Sure! Done in https://github.com/bitcoin-core/secp256k1/pull/1403.

16. sidhujag referenced this in commit fd298243ca on Aug 17, 2023
17. fanquake referenced this in commit 94af164e5e on Aug 24, 2023
18. Frank-GER referenced this in commit b97bc9da56 on Sep 8, 2023

Contributors
hebasto DrahtBot maflcko dergoegge

Labels
Tests CI failed