Skip to content

ci: use human-readable workflow names and remove redundant job names#27

Merged
jeromeludmann merged 1 commit intomainfrom
worktree-ci-workflow-names
Mar 30, 2026
Merged

ci: use human-readable workflow names and remove redundant job names#27
jeromeludmann merged 1 commit intomainfrom
worktree-ci-workflow-names

Commits