Skip to content

ci(planner): Polish the workflow planner code#3570

Merged
Xuanwo merged 2 commits intomainfrom
manjusaka/update-planner-code
Nov 14, 2023
Merged

ci(planner): Polish the workflow planner code#3570
Xuanwo merged 2 commits intomainfrom
manjusaka/update-planner-code

Conversation

@Zheaoli
Copy link
Copy Markdown
Member

@Zheaoli Zheaoli commented Nov 12, 2023

This PR is experimental, I'm not sure if we should merge it for now

In this PR, I refactor the planner code, make it easier to add a new or delete a existing language behavior test(people just need to modify two line after this PR)

Signed-off-by: Manjusaka me@manjusaka.me

Signed-off-by: Manjusaka <me@manjusaka.me>
@github-actions github-actions Bot added the releases-note/ci The PR modifies CI-related content or has a title that begins with "ci" label Nov 12, 2023
@Zheaoli Zheaoli marked this pull request as draft November 12, 2023 19:27
@Zheaoli Zheaoli marked this pull request as ready for review November 13, 2023 16:35
Copy link
Copy Markdown
Member

@Xuanwo Xuanwo left a comment

Choose a reason for hiding this comment

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

Thanks!

@Xuanwo Xuanwo merged commit c12b01f into main Nov 14, 2023
@Xuanwo Xuanwo deleted the manjusaka/update-planner-code branch November 14, 2023 15:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

releases-note/ci The PR modifies CI-related content or has a title that begins with "ci"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants