Skip to content

Conversation

@github-actions
Copy link
Contributor

Automatically regenerated in CI

@NobodyXu NobodyXu closed this Dec 18, 2025
@NobodyXu NobodyXu reopened this Dec 18, 2025
@NobodyXu NobodyXu enabled auto-merge (squash) December 18, 2025 11:45
@madsmtm
Copy link
Contributor

madsmtm commented Jan 28, 2026

Superseded by #1642

@madsmtm madsmtm closed this Jan 28, 2026
auto-merge was automatically disabled January 28, 2026 16:54

Pull request was closed

@madsmtm madsmtm deleted the regenerate-target-info-20325147244 branch January 28, 2026 16:59
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.

2 participants