Skip to content
This repository has been archived by the owner on May 4, 2024. It is now read-only.

update rust 1.63 & remove clippy TODO #421

Merged
merged 6 commits into from
Aug 30, 2022
Merged

update rust 1.63 & remove clippy TODO #421

merged 6 commits into from
Aug 30, 2022

Conversation

uvd
Copy link
Contributor

@uvd uvd commented Aug 30, 2022

Motivation

update rust 1.63 & remove clippy TODO

Have you read the Contributing Guidelines on pull requests?

Yes

Test Plan

wrwg
wrwg approved these changes Aug 30, 2022
View reviewed changes
Copy link
Member

@wrwg wrwg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks so much for doing this! I'm going to merge this right away to avoid merge conflicts.

@wrwg wrwg merged commit a779142 into move-language:main Aug 30, 2022
@uvd uvd mentioned this pull request Aug 31, 2022
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@wrwg wrwg wrwg approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@uvd @wrwg