Skip to content

Update src/target/generated.rs #1667

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
NobodyXu merged 1 commit into from
Jan 29, 2026
Merged

Update src/target/generated.rs #1667

NobodyXu merged 1 commit into from
Jan 29, 2026

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jan 29, 2026

Automatically regenerated in CI

@madsmtm
Copy link
Contributor

madsmtm commented Jan 29, 2026

New targets added in:

@madsmtm madsmtm enabled auto-merge (squash) January 29, 2026 04:20
@NobodyXu NobodyXu closed this Jan 29, 2026
auto-merge was automatically disabled January 29, 2026 08:22

Pull request was closed

@NobodyXu NobodyXu reopened this Jan 29, 2026
@NobodyXu NobodyXu enabled auto-merge (squash) January 29, 2026 08:23
@NobodyXu NobodyXu merged commit 268daeb into main Jan 29, 2026
79 checks passed
@NobodyXu NobodyXu deleted the regenerate-target-info-21464903693 branch January 29, 2026 08:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@NobodyXu NobodyXu NobodyXu approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@madsmtm @NobodyXu