Skip to content

Improve make dist to warn on building inside a git repository #1187

Improve make dist to warn on building inside a git repository

Improve make dist to warn on building inside a git repository #1187

Triggered via push May 17, 2024 19:11
Status Success
Total duration 1m 54s
Artifacts
Fit to window
Zoom out
Zoom in