Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

ci: Remove not used odev tools #2202

Merged
merged 1 commit into from
May 4, 2023
Merged

ci: Remove not used odev tools #2202

merged 1 commit into from
May 4, 2023

Conversation

Xuanwo
Copy link
Member

@Xuanwo Xuanwo commented May 4, 2023

odev is not used anymore.

@Xuanwo
ci: Remove not used odev tools
574654f 
Signed-off-by: Xuanwo <github@xuanwo.io>
@Xuanwo Xuanwo requested review from PsiACE, ClSlaid and sundy-li as code owners May 4, 2023 08:22
@Xuanwo Xuanwo requested a review from suyanhanx May 4, 2023 08:26
suyanhanx
suyanhanx approved these changes May 4, 2023
View reviewed changes
Copy link
Member

@suyanhanx suyanhanx left a comment

Choose a reason for hiding this comment

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

Thanks.

And thank you for having been there, odev.

@Xuanwo Xuanwo merged commit 0a6fc13 into main May 4, 2023
@Xuanwo Xuanwo deleted the remove-odev branch May 4, 2023 08:40
@Xuanwo Xuanwo mentioned this pull request May 6, 2023
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@suyanhanx suyanhanx suyanhanx approved these changes

@PsiACE PsiACE Awaiting requested review from PsiACE

@ClSlaid ClSlaid Awaiting requested review from ClSlaid

@sundy-li sundy-li Awaiting requested review from sundy-li

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
@Xuanwo @suyanhanx