Skip to content

#736: Capitalized and shorten names of GitHub workflows#737

Merged
ckunki merged 1 commit intomainfrom
refactoring/736-workflow-names
Mar 2, 2026
Merged

#736: Capitalized and shorten names of GitHub workflows#737
ckunki merged 1 commit intomainfrom
refactoring/736-workflow-names

Commits

Commits on Mar 2, 2026