diff options
| author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2018-02-05 15:58:59 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-05 15:58:59 +0300 |
| commit | eafd6e916f07c26449c6c86ea6659693efcda713 (patch) | |
| tree | cb98f6c33609eacc565815b4ff50f482b9975c54 /README.md | |
| parent | 73eb0cc2fd9301ce3481d55267ace85c2882187f (diff) | |
[ci] Consistently use CI_TAGS instead of label (#6782)
The `label` environment variable is set by Jenkins based on the
chroot/node configuration a given job is using.
This crept into the CI scripts while it should have been a
separate concern and caused all sorts of issues when we bumped
from e.g. debian-8-* to debian-9-* in some jobs.
Instead we should consistently use the CI_TAGS env var which we
control exclusively.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions