[mergify]

🎉 This pull request has been checked successfully and will be merged soon. 🎉

#132 is queued for merge on branch main (b5dfce9).

This pull request has been created by Mergify to speculatively check the mergeability of #132.
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Bisected from a failed batch:

• #163 checked fix(ci): avoid SIGPIPE in native test listing #132, fix(ui): BUG-07 no respawn for archived workers, confirm final archive #139 and feat(settings): UI text size, terminal font and size (UX-02 part 2 of 2) #154

Required conditions of queue rule default for merge:

• check-success = gates (linux)
• check-success = gates (windows)
• check-success = red-first
• label != do-not-merge
  • fix(ci): avoid SIGPIPE in native test listing #132

Required conditions to stay in the queue:

• -conflict
  • fix(ci): avoid SIGPIPE in native test listing #132
• -draft
  • fix(ci): avoid SIGPIPE in native test listing #132
• base = main
  • fix(ci): avoid SIGPIPE in native test listing #132
• check-success = gates (linux)
  • fix(ci): avoid SIGPIPE in native test listing #132
• check-success = gates (windows)
  • fix(ci): avoid SIGPIPE in native test listing #132
• check-success = red-first
  • fix(ci): avoid SIGPIPE in native test listing #132
• label != do-not-merge
  • fix(ci): avoid SIGPIPE in native test listing #132

---
checking_base_sha: b5dfce9fdb88f355694c51e4f278ed3658e26f92
previous_check_retries: []
previous_failed_batches:
  - batch_pr_head_sha: 72738c5e0dfa34fc61657619bd72722182f2b2dd
    batch_pr_number: 163
    checked_pull_requests:
      - 132
      - 139
      - 154
    draft_pr_head_sha: 72738c5e0dfa34fc61657619bd72722182f2b2dd
    draft_pr_number: 163
pull_requests:
  - number: 132
    scopes: []
scopes: []
...