Skip to content

Add distgen check to GitHub workflow#382

Merged
phracek merged 1 commit into
masterfrom
ndavidov/distgen-check
Jun 9, 2026
Merged

Add distgen check to GitHub workflow#382
phracek merged 1 commit into
masterfrom
ndavidov/distgen-check

Commits

Commits on Jun 9, 2026