Skip to content

CI: different names for publish jobs#431

Merged
ForNeVeR merged 1 commit intomasterfrom
ci/names
Nov 23, 2025
Merged

CI: different names for publish jobs#431
ForNeVeR merged 1 commit intomasterfrom
ci/names

Commits

Commits on Nov 23, 2025