Skip to content

Remove redundant per-repo workflows in favor of centralized CI#13

Merged
tillig merged 1 commit into
developfrom
feature/remove-redundant-workflows
Jun 8, 2026
Merged

Remove redundant per-repo workflows in favor of centralized CI#13
tillig merged 1 commit into
developfrom
feature/remove-redundant-workflows

Commits

Commits on Jun 8, 2026