Skip to content

Update src/target/generated.rs#1774

Closed
github-actions[bot] wants to merge 0 commit into
mainfrom
regenerate-target-info-28565442634
Closed

Update src/target/generated.rs#1774
github-actions[bot] wants to merge 0 commit into
mainfrom
regenerate-target-info-28565442634

Conversation

@github-actions

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

Copy link
Copy Markdown
Contributor

Automatically regenerated in CI

@NobodyXu NobodyXu closed this Jul 2, 2026
@NobodyXu NobodyXu force-pushed the regenerate-target-info-28565442634 branch from e80fddb to bfd1ac9 Compare July 2, 2026 13:55
@NobodyXu NobodyXu deleted the regenerate-target-info-28565442634 branch July 2, 2026 13:55
@NobodyXu

NobodyXu commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

Superseded by #1775

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