This repository was archived by the owner on Nov 15, 2023. It is now read-only.

CI: rename ambiguous jobs#5313

Merged

TriplEight merged 1 commit intomasterfrom

3x8_rename_PRCR_jobs

Apr 12, 2022

Commits on Apr 12, 2022

CI: rename ambiguous jobs
TriplEight
committed