Skip to content

build: use correct make command names #34033

build: use correct make command names

build: use correct make command names #34033

Triggered via push August 30, 2025 18:05
Status Success
Total duration 41s
Artifacts
Process Metadata
39s
Process Metadata
Fit to window
Zoom out
Zoom in