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

add tags for runner selection of build-linux jobs#9451

Merged

5chdn merged 1 commit into

Aug 31, 2018

Commits on Aug 31, 2018

add tags for runner selection of build-linux jobs
gabreal
committed