merge queue: checking #470 on main (41d9628), stacked on #537

[mergify]

✨ Pull request #537 ahead in the queue was removed (reason: checks failed). The pull request #470 has been requeued. ✨

#470 is queued for merge on branch main (41d9628).

Stacked behind 1 pull request queued ahead of this batch, not part of it. These checks run on a tip that also carries its commits, so a failure here can come from it as much as from #470.

Queued ahead of this batch:

• #537

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

Required conditions of queue rule default for merge:

• any of [🛡 GitHub repository ruleset rule main]:
  • check-neutral = buildbot/nix-build
  • check-skipped = buildbot/nix-build
  • check-success = buildbot/nix-build
• any of [🛡 GitHub repository ruleset rule main]:
  • check-success = buildbot/nix-eval
  • check-neutral = buildbot/nix-eval
  • check-skipped = buildbot/nix-eval

Required conditions to stay in the queue:

• any of [🛡 GitHub repository ruleset rule main]:
  • check-success = buildbot/nix-build
  • check-neutral = buildbot/nix-build
  • check-skipped = buildbot/nix-build
• any of [🛡 GitHub repository ruleset rule main]:
  • check-success = buildbot/nix-eval
  • check-neutral = buildbot/nix-eval
  • check-skipped = buildbot/nix-eval

---
checking_base_sha: 254fbfb318cb6de4560e6597d59e9d05b2da55a8
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 470
    scopes: []
scopes: []
...