merge queue: queuing main (8a2a5dc), #1188, #1189, #1186 and #1187 together

[mergify]

✨ Pull request #1186 which was ahead in the queue has been dequeued (for the following reason: pull request dequeued). The pull request #1187 has been requeued. ✨

Branch main (8a2a5dc), #1188, #1189, #1186 and #1187 are queued together for merge.

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

Required conditions of queue rule dependabot for merge:

• status-success=build
• any of [🛡 GitHub repository ruleset rule main]:
  • check-neutral = build
  • check-skipped = build
  • check-success = build
• any of [🛡 GitHub repository ruleset rule main]:
  • check-neutral = lint
  • check-skipped = lint
  • check-success = lint
• author=dependabot[bot]
  • chore(deps): bump nokogiri from 1.19.3 to 1.19.4 #1187
• base=main

Required conditions to stay in the queue:

• author=dependabot[bot]
  • chore(deps): bump nokogiri from 1.19.3 to 1.19.4 #1187
• any of [🛡 GitHub repository ruleset rule main]:
  • check-success = build
  • check-neutral = build
  • check-skipped = build
• any of [🛡 GitHub repository ruleset rule main]:
  • check-success = lint
  • check-neutral = lint
  • check-skipped = lint

---
checking_base_sha: 650036a22039796d85d08d3dbd7b3faaccf22e48
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 1187
    scopes: []
scopes: []
...