[mergify]

Note

This is a merge queue draft opened by Mergify. Nobody needs to act on it.
Mergify opened it for batch systematic-ciboulette-jpdun1 of the default queue, to test #16 before it merges into main.

What this draft tests

Mergify checks that #16 still passes CI on top of main. CI runs on this draft's code, built in this order:

1. main at 8099800
2. #16, the pull request of this batch

✨ Where it stands: closed

Pull request #16 has been dequeued.

The repository configuration doesn't allow this merge method. Squash merges are not allowed on this repository.

The merge method configured in Mergify configuration must be allowed in the repository configuration settings.

Follow the default queue in the dashboard

What happens next

• Mergify closes this draft.

Metadata for CI tooling, read by mergify ci

---
all_scopes: false
checking_base_sha: 809980012d04f80ef576d05edf6369744f311a26
previous_check_retries: []
previous_failed_batches: []
pull_requests:
  - number: 16
    scopes: []
scopes: []
...

Required conditions of queue rule default for merge

• check-success=CI: Test/Lint

Required conditions to stay in the queue

None