Skip to content

Combine smaller related jobs in CI to reduce overhead#17167

Merged
hashhar merged 2 commits intomasterfrom
hashhar/more-ci-cleanup
Apr 25, 2023
Merged

Combine smaller related jobs in CI to reduce overhead#17167
hashhar merged 2 commits intomasterfrom
hashhar/more-ci-cleanup

Commits

Commits on Apr 23, 2023