merge queue: embarking main (3f0b89d) and #215 together

[mergify]

✨ Merge queue reset: an external action moved the base branch head to 740bb7c. The pull request #215 has been re-embarked. ✨

Branch main (3f0b89d) and #215 are embarked together for merge.

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

Required conditions of queue deps-update for merge:

• check-success=Good to merge
• any of [🛡 GitHub branch protection]:
  • check-neutral=Good to merge
  • check-skipped=Good to merge
  • check-success=Good to merge

Required conditions to stay in the queue:

• any of [🛡 GitHub branch protection]:
  • check-success=Good to merge
  • check-neutral=Good to merge
  • check-skipped=Good to merge

---
previous_failed_batches: []
pull_requests:
  - number: 215
...

[sonarcloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud

[mergify]

Merge queue reset: an external action moved the base branch head to 740bb7c