Skip to content

ci: drop title-case job display names#37

Merged
xnoto merged 1 commit intomainfrom
ci/lowercase-job-names
Apr 30, 2026
Merged

ci: drop title-case job display names#37
xnoto merged 1 commit intomainfrom
ci/lowercase-job-names

Commits

Commits on Apr 30, 2026