Skip to content

chore: migrate to 2024 edition - #1076

Merged
mergify[bot] merged 1 commit into
mainfrom
cleanup-edition
Jul 21, 2026
Merged

chore: migrate to 2024 edition#1076
mergify[bot] merged 1 commit into
mainfrom
cleanup-edition

chore: migrate to 2024 edition

52a75a2
Select commit
Loading
Failed to load commit list.
Mergify / Mergify Merge Queue succeeded Jul 21, 2026 in 3m 51s

Merged via merge queue

  • ✅ Entered queue — 2026-07-21 11:18 UTC · Rule: main · triggered by rule main queue triggered when CI passes with 1 review
  • ✅ Checks passed · on draft #1081
  • ✅ Merged — 2026-07-21 11:22 UTC · at 52a75a2fe90a9dbd7f2862bbf2d246e1c7bf406d · squash

This pull request spent 3 minutes 50 seconds in the queue, including 3 seconds running CI.

Required conditions to merge
  • #review-threads-unresolved = 0 [🛡 GitHub branch protection]
  • base=main
  • github-review-approved [🛡 GitHub branch protection] (documentation)
View more details on Mergify