Skip to content

Conversation

@Xuanwo
Copy link
Member

@Xuanwo Xuanwo commented Jan 15, 2025

Which issue does this PR close?

Workaround for rust-lang/rust#135515

Rationale for this change

The latest rustc failed to build.

What changes are included in this PR?

Are there any user-facing changes?

@Xuanwo Xuanwo requested review from messense and meteorgan January 15, 2025 03:03
@github-actions github-actions bot added the releases-note/ci The PR modifies CI-related content or has a title that begins with "ci" label Jan 15, 2025
@Xuanwo
Copy link
Member Author

Xuanwo commented Jan 15, 2025

Thank you @messense for the review.

@Xuanwo Xuanwo merged commit 8dacff2 into main Jan 15, 2025
13 checks passed
@Xuanwo Xuanwo deleted the pin-fuzz-test-version branch January 15, 2025 06:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

releases-note/ci The PR modifies CI-related content or has a title that begins with "ci"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants