ci: use human-readable workflow names and remove redundant job names#27
Merged
jeromeludmann merged 1 commit intomainfrom Mar 30, 2026
Merged
ci: use human-readable workflow names and remove redundant job names#27jeromeludmann merged 1 commit intomainfrom
jeromeludmann merged 1 commit intomainfrom