Skip to content

remove some ci jobs that are not useful anymore#3194

Merged
szy21 merged 1 commit intomainfrom zs/cleanup_ciJul 16, 2024

Commits

Commits on Jul 16, 2024