Closed YiniXu9506 closed 3 years ago
PROBLEM It is hard to tell each workflow is triggered by which pull request. It's inconvenient to debug when encountered problems.
TODO Optimize the workflow name.
PROBLEM It is hard to tell each workflow is triggered by which pull request. It's inconvenient to debug when encountered problems.
TODO Optimize the workflow name.