merge queue: checking #7817 on main (2a01035)

[mergify]

✨ Pull request #7817 has been merged manually at 6d2a11d. ✨

#7817 is queued for merge on branch main (2a01035).

1 scope

• app

This pull request has been created by Mergify to check the mergeability of #7817.
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 branch protection]:
  • check-neutral = Lint and Test
  • check-skipped = Lint and Test
  • check-success = Lint and Test
• github-review-approved [🛡 GitHub branch protection]
  • fix: hung install jobs #7817

Required conditions to stay in the queue:

• github-review-approved [🛡 GitHub branch protection]
  • fix: hung install jobs #7817
• any of [🛡 GitHub branch protection]:
  • check-success = Lint and Test
  • check-neutral = Lint and Test
  • check-skipped = Lint and Test

---
all_scopes: false
checking_base_sha: 2a01035b801eba3f1bd234121b414905c28acbab
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 7817
    scopes:
      - app
scopes:
  - app
...

[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