Skip to content

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

Add $(EXE) suffix to executables in Makefiles

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

Triggered via pull request December 11, 2025 19:50
Status Success
Total duration 33s
Artifacts

docs.yml

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