Skip to content

Update src/target/generated.rs#1698

Merged
NobodyXu merged 1 commit intomainfrom
regenerate-target-info-23883079897
Apr 2, 2026
Merged

Update src/target/generated.rs#1698
NobodyXu merged 1 commit intomainfrom
regenerate-target-info-23883079897

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Apr 2, 2026

Automatically regenerated in CI

@NobodyXu NobodyXu closed this Apr 2, 2026
@NobodyXu NobodyXu reopened this Apr 2, 2026
@NobodyXu NobodyXu enabled auto-merge (squash) April 2, 2026 12:23
@NobodyXu NobodyXu merged commit 9cfcecb into main Apr 2, 2026
79 checks passed
@NobodyXu NobodyXu deleted the regenerate-target-info-23883079897 branch April 2, 2026 12:30
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.

1 participant