ci, gha: Ensure only a single workflow processes github.ref at a time #1403

1. 
   hebasto commented at 1:37 pm 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.

   Same as https://github.com/bitcoin/bitcoin/pull/28282.

2. ci, gha: Ensure only a single workflow processes `github.ref` at a time b0886fd35c
3. hebasto cross-referenced this on Aug 17, 2023 from issue ci: Ensure that only a single workflow processes `github.ref` at a time by hebasto
4. real-or-random approved
5. 
   real-or-random commented at 1:45 pm on August 17, 2023: contributor

   That makes sense.

   ACK b0886fd35c0ad05adee3fb8008e4315bf2f91f1f

6. real-or-random cross-referenced this on Aug 17, 2023 from issue ci: Future of CI after Cirrus pricing change by real-or-random
7. real-or-random added the label ci on Aug 17, 2023
8. 
   jonasnick commented at 9:50 am on August 18, 2023: contributor

   ACK b0886fd35c0ad05adee3fb8008e4315bf2f91f1f
9. jonasnick merged this on Aug 18, 2023
10. jonasnick closed this on Aug 18, 2023

    ---

11. hebasto deleted the branch on Aug 18, 2023

Contributors
hebasto real-or-random jonasnick

Labels
ci