Skip to content

ci(fix): make it use ninja like our normal build actions #1882

ci(fix): make it use ninja like our normal build actions

ci(fix): make it use ninja like our normal build actions #1882

Triggered via push August 10, 2023 01:02
Status Success
Total duration 44s
Artifacts
Check Documentation Spelling
33s
Check Documentation Spelling
Fit to window
Zoom out
Zoom in