Skip to content

Comments

chore: fix ci format#205

Merged
underfin merged 1 commit intomainfrom
11-09-chore_fix_ci_format
Nov 9, 2023
Merged

chore: fix ci format#205
underfin merged 1 commit intomainfrom
11-09-chore_fix_ci_format

Conversation

@underfin
Copy link
Contributor

@underfin underfin commented Nov 9, 2023

Description

Test Plan


@underfin
Copy link
Contributor Author

underfin commented Nov 9, 2023

@underfin underfin force-pushed the 11-09-feat_add_PluginDriver_resolve_id branch from ab5272b to ae79d5a Compare November 9, 2023 11:19
Base automatically changed from 11-09-feat_add_PluginDriver_resolve_id to main November 9, 2023 11:36
@underfin underfin force-pushed the 11-09-chore_fix_ci_format branch from 601cbeb to 73d3489 Compare November 9, 2023 11:37
@underfin underfin merged commit c507e6f into main Nov 9, 2023
@underfin underfin deleted the 11-09-chore_fix_ci_format branch November 9, 2023 11:37
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.

2 participants