Skip to content

ci: abbreviate long coverage workflow names#1218

Merged
matejchalk merged 1 commit intomainfrom
abbreviate-coverage-workflow-names
Jan 16, 2026
Merged

ci: abbreviate long coverage workflow names#1218
matejchalk merged 1 commit intomainfrom
abbreviate-coverage-workflow-names

Commits

Commits on Jan 16, 2026