Skip to content

rename different CIs to different job names#8

Merged
alvinsunyixiao merged 3 commits intomainfrom alvin/ciJan 8, 2024