Skip to content

ci: regroup and rename GitHub Actions workflows; prune dead ones - #4260

Merged
mattleibow merged 2 commits into
mainfrom
mattleibow-rename-workflows
Jun 26, 2026
Merged

ci: regroup and rename GitHub Actions workflows; prune dead ones#4260
mattleibow merged 2 commits into
mainfrom
mattleibow-rename-workflows

Commits

Commits on Jun 26, 2026