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

Conversation

@conradoplg

Copy link
Copy Markdown
Contributor

In #903 the edition was held back to minimize the diff; this migrates to 2024 and removes the TODOs added there

@conradoplg
conradoplg requested a review from natalieesk July 15, 2026 18:12
@natalieesk natalieesk self-assigned this Jul 21, 2026

@natalieesk natalieesk left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good

@mergify mergify Bot added the queued label Jul 21, 2026
@mergify

mergify Bot commented Jul 21, 2026

Copy link
Copy Markdown
Contributor

Merge Queue Status

  • Entered queue2026-07-21 11:18 UTC · Rule: main · triggered by rule main queue triggered when CI passes with 1 review
  • Checks passed · on draft merge queue: checking main (9ee31f5) and #1076 together #1081
  • Merged2026-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

@mergify
mergify Bot merged commit 0966bd1 into main Jul 21, 2026
26 checks passed
@mergify
mergify Bot deleted the cleanup-edition branch July 21, 2026 11:22
@mergify mergify Bot removed the queued label Jul 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants