Skip to content

ci: Use microsoft rust devcontainer instead#2165

Merged
Xuanwo merged 1 commit intomainfrom
Xuanwo-patch-1
Apr 29, 2023
Merged

ci: Use microsoft rust devcontainer instead#2165
Xuanwo merged 1 commit intomainfrom
Xuanwo-patch-1

Conversation

@Xuanwo
Copy link
Copy Markdown
Member

@Xuanwo Xuanwo commented Apr 29, 2023

This PR changes the devcontainer to microsoft rust deveconatiner for better experinence

@Xuanwo Xuanwo merged commit dc61d4a into main Apr 29, 2023
@Xuanwo Xuanwo deleted the Xuanwo-patch-1 branch April 29, 2023 10:17
Copy link
Copy Markdown
Member

@PsiACE PsiACE left a comment

Choose a reason for hiding this comment

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

lgtm

@Xuanwo Xuanwo mentioned this pull request May 6, 2023
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