Skip to content

Reorganize CI jobs so they appear sensibly in the GitHub UI#3422

Closed
MoralCode wants to merge 5 commits intomainfrom
ntdn/reorg-ci
Closed

Reorganize CI jobs so they appear sensibly in the GitHub UI#3422
MoralCode wants to merge 5 commits intomainfrom
ntdn/reorg-ci

Commits

Commits on Jan 6, 2026