Skip to content

ci: drop title-case job display names#4

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

ci: drop title-case job display names#4
xnoto merged 1 commit into
mainfrom
ci/lowercase-job-names

ci: drop title-case job display names

af6d74f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lint
succeeded Apr 30, 2026 in 13s