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

[ci] small fix for job switcher#1990

Merged

alvicsam merged 1 commit intomasterfrom

as-fix-switcher

Dec 14, 2022

Commits on Dec 13, 2022

[ci] small fix for job switcher
alvicsam
committed