Skip to content

Conversation

@jplatte
Copy link
Member

@jplatte jplatte commented Dec 27, 2025

I used auto-merge in #3314 and it merged despite CI failing...

@jplatte jplatte requested review from a team, hawkw and hds as code owners December 27, 2025 22:43
@jplatte jplatte enabled auto-merge (rebase) December 27, 2025 22:57
@hds hds disabled auto-merge December 28, 2025 00:16
Copy link
Contributor

@hds hds left a comment

Choose a reason for hiding this comment

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

Looks good. Thanks!

@hds hds changed the title Add missing const core: add missing const Dec 28, 2025
@hds hds merged commit efc690f into main Dec 28, 2025
56 checks passed
@hds hds deleted the jplatte/hotfix branch December 28, 2025 17:23
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