Skip to content

GNUmakefile: Allow changing OS for cygwin #5113

GNUmakefile: Allow changing OS for cygwin

GNUmakefile: Allow changing OS for cygwin #5113

Triggered via pull request December 30, 2025 07:15
Status Skipped
Total duration
Artifacts

FixPR.yml

on: pull_request
Matrix: Update/dependencies
Fit to window
Zoom out
Zoom in