Skip to content

ci: Fix PR label not updated while edited#2547

Merged
Xuanwo merged 1 commit intomainfrom fix-workflow-for-pr-laberJun 26, 2023

Commits

Commits on Jun 26, 2023