Skip to content

ci: migrate to github hosted runners#5287

Merged
Xuanwo merged 7 commits intomainfrom
add-runners
Nov 19, 2025
Merged

ci: migrate to github hosted runners#5287
Xuanwo merged 7 commits intomainfrom
add-runners

Commits

Commits on Nov 19, 2025