Skip to content

Conversation

@yezhizhen
Copy link
Member

Fix warnings exposed by 0a0a20a

.
Signed-off-by: Euclid Ye <yezhizhenjiakang@gmail.com>
@servo-highfive servo-highfive added the S-awaiting-review There is new code that needs to be reviewed. label Nov 25, 2025
@servo-highfive servo-highfive removed the S-awaiting-review There is new code that needs to be reviewed. label Nov 25, 2025
@jdm jdm enabled auto-merge November 25, 2025 03:30
@jdm jdm added this pull request to the merge queue Nov 25, 2025
@servo-highfive servo-highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Nov 25, 2025
github-merge-queue bot pushed a commit that referenced this pull request Nov 25, 2025
Fix warnings exposed by 0a0a20a

Signed-off-by: Euclid Ye <yezhizhenjiakang@gmail.com>
@yezhizhen
Copy link
Member Author

@yezhizhen yezhizhen removed this pull request from the merge queue due to a manual request Nov 25, 2025
@servo-highfive servo-highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Nov 25, 2025
@yezhizhen yezhizhen added this pull request to the merge queue Nov 25, 2025
@servo-highfive servo-highfive added the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Nov 25, 2025
Merged via the queue into servo:main with commit 22a13d6 Nov 25, 2025
38 checks passed
@yezhizhen yezhizhen deleted the fix-warning branch November 25, 2025 05:55
@servo-highfive servo-highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Nov 25, 2025
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.

3 participants