[mergify]

Note

This is a merge queue draft opened by Mergify. Its pull request has merged, and nobody needs to act on it.
Mergify opened it for batch eager-selgris-x71a5o of the default queue, to test #8271 before it merged into main.

🎉 What landed

Mergify merged its pull request into main, then closed this draft:

• #8271 fix: broken modified at time cause crash (IMB11), as 9c9d812

This draft's code was built in this order:

1. main at 68a23cb
2. the pull request queued ahead of this batch, listed below, which brought the tip to fbab04c
3. #8271, the pull request of this batch

Queued ahead of this batch

This pull request entered the queue before this batch and is not part of it.

• #8273

Metadata for CI tooling, read by mergify ci

---
all_scopes: false
checking_base_sha: fbab04c299c321b8451759b39c7e2c1ee8e61452
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 8271
    scopes:
      - app
scopes:
  - app
...

1 scope

• app

Required conditions of queue rule default for merge

• github-review-approved [🛡 GitHub branch protection]
  • fix: broken modified at time cause crash #8271
• any of [🛡 GitHub branch protection]:
  • check-skipped = Lint and Test
  • check-neutral = Lint and Test
  • check-success = Lint and Test

Required conditions to stay in the queue

• github-review-approved [🛡 GitHub branch protection]
  • fix: broken modified at time cause crash #8271
• any of [🛡 GitHub branch protection]:
  • check-success = Lint and Test
    • fix: broken modified at time cause crash #8271
  • check-neutral = Lint and Test
    • fix: broken modified at time cause crash #8271
  • check-skipped = Lint and Test
    • fix: broken modified at time cause crash #8271

[github-actions]

Pull request changelog

App

Added

Changed

Deprecated

Removed

Fixed

Security

Website

Added

Changed

Deprecated

Removed

Fixed

Security

Hosting

Added

Changed

Deprecated

Removed

Fixed

Security