Skip to content

Add $(EXE) suffix to executables in Makefiles #1633

Add $(EXE) suffix to executables in Makefiles

Add $(EXE) suffix to executables in Makefiles #1633

Triggered via pull request December 11, 2025 19:01
Status Success
Total duration 4m 44s
Artifacts

docs.yml

on: pull_request
Deploy docs
22s
Deploy docs
Fit to window
Zoom out
Zoom in