Skip to content

chore(docker): change the cmake's build tool from make to ninja #1079

chore(docker): change the cmake's build tool from make to ninja

chore(docker): change the cmake's build tool from make to ninja #1079

Triggered via pull request April 24, 2024 20:45
Status Success
Total duration 21s
Artifacts
spell-check-differential
12s
spell-check-differential
Fit to window
Zoom out
Zoom in