[CI] Skip dev-igc run if the PR has ci-no-devigc
label specified
#8879
This job was skipped
Loading
ci-no-devigc
label specified
#8879