Skip to content

ci: split light and heavy CI.#43

Closed
1uc wants to merge 9 commits intomainfrom
1uc/weekly-ci
Closed

ci: split light and heavy CI.#43
1uc wants to merge 9 commits intomainfrom
1uc/weekly-ci

Commits

Commits on Jun 5, 2025