diff options
| author | Eric Anholt <[email protected]> | 2020-05-05 12:17:49 -0700 |
|---|---|---|
| committer | Marge Bot <[email protected]> | 2020-05-06 18:34:38 +0000 |
| commit | 2637961d29b3828e07953159d075f8544ce3fae5 (patch) | |
| tree | 13fb030fc2b21dc2f0070b7476ffaf3f47b2043f /docs/release-calendar.html | |
| parent | 2c50176dfea360775d36cbbb02027d959db6dfaa (diff) | |
ci: Fix the nick used in IRC reporting.
robclark found that we needed unique IDs when multiple runners were trying
to report flakes at the same time, but it turns out due to nick limits (16
chars on freenode) we were just getting all the runners appended with
"-142" (or whatever the prefix of the pipelines are these days). And, for
the new flake reporting from baremetal, all the runners ended up being
just "google-freedreno".
Reviewed-by: Rob Clark <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/4896>
Diffstat (limited to 'docs/release-calendar.html')
0 files changed, 0 insertions, 0 deletions