Skip to content
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

Fix lints from rustc 1.80.0 #3936

Merged
merged 1 commit into from
Jul 29, 2024
Merged

Fix lints from rustc 1.80.0 #3936

merged 1 commit into from
Jul 29, 2024

Conversation

jedel1043
Copy link
Member

No description provided.

@jedel1043 jedel1043 added enhancement New feature or request rust Pull requests that update Rust code labels Jul 27, 2024
@jedel1043 jedel1043 added this to the next-release milestone Jul 27, 2024
@jedel1043 jedel1043 requested a review from a team July 27, 2024 01:46
@github-actions GitHub Actions
Copy link

Test262 conformance changes

Test result main count PR count difference
Total 48,212 48,212 0
Passed 43,264 43,264 0
Ignored 1,413 1,413 0
Failed 3,535 3,535 0
Panics 0 0 0
Conformance 89.74% 89.74% 0.00%

@raskad raskad requested a review from a team July 28, 2024 21:27
@nekevss nekevss added this pull request to the merge queue Jul 29, 2024
Merged via the queue into main with commit 4c76af8 Jul 29, 2024
13 checks passed
@jedel1043 jedel1043 deleted the rust-1.80.0 branch September 7, 2024 23:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nekevss nekevss nekevss approved these changes

@raskad raskad raskad approved these changes

Assignees
No one assigned
Labels
enhancement New feature or request rust Pull requests that update Rust code
Projects
None yet
Milestone
v0.20.0
Development

Successfully merging this pull request may close these issues.
3 participants
@jedel1043 @raskad @nekevss