Skip to content

chore: use ninja for ci build#215

Merged
Fokko merged 1 commit intoapache:mainfrom
zhjwpku:use_ninja
Sep 7, 2025
Merged

chore: use ninja for ci build#215
Fokko merged 1 commit intoapache:mainfrom
zhjwpku:use_ninja

Commits

Commits on Sep 7, 2025