| commit | 6331441e24ccae9b36f9fcdab481673575f6d0fd | [log] [tgz] |
|---|---|---|
| author | Eric Engestrom <eric@igalia.com> | Thu Apr 03 10:48:20 2025 +0200 |
| committer | Marge Bot <emma+marge@anholt.net> | Thu Apr 03 11:25:12 2025 +0000 |
| tree | 59191fecf393a46f00b9069e74a3ebf923d970b6 | |
| parent | f84578e308ca5824315128198a34c0a1d265724b [diff] |
ci: rename ci-tron priority tag to avoid conflict with the generic fdo runners Otherwise, ci-tron runners with that tag could pick up jobs meant for the fdo runners, as happened here: https://gitlab.freedesktop.org/mesa/mesa/-/jobs/73883719 The inverse (fdo runners picking up a job meant for a ci-tron runner) is not possible though, as ci-tron jobs always include a `farm:$RUNNER_FARM_LOCATION` tag, so the problem only exists in the other direction. Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/34358>