[CI] Skip dev-igc run if the PR has ci-no-devigc
label specified (#…
#190
Job | Run time |
---|---|
0s | |
0s | |
0s | |
0s | |
0s | |
0s |
ci-no-devigc
label specified (#…
#190
Job | Run time |
---|---|
0s | |
0s | |
0s | |
0s | |
0s | |
0s |