diff options
author | Erik Faye-Lund <erik.faye-lund@collabora.com> | 2020-09-28 12:22:11 +0200 |
---|---|---|
committer | Marge Bot <eric+marge@anholt.net> | 2020-09-29 09:00:36 +0000 |
commit | 8a5eebd40906d9b5e5333890be9989b95dda8d9f (patch) | |
tree | ce2792faffaed452efd478871139a69e37169f05 /docs/ci/index.rst | |
parent | 40cb54270cd749585b0089a95e528288a14ec907 (diff) |
docs: debian -> Debian
Reviewed-by: Eric Anholt <eric@anholt.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6894>
Diffstat (limited to 'docs/ci/index.rst')
-rw-r--r-- | docs/ci/index.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ci/index.rst b/docs/ci/index.rst index ee3f4564d39..fa51e25c124 100644 --- a/docs/ci/index.rst +++ b/docs/ci/index.rst @@ -133,7 +133,7 @@ Mesa's CI is currently run primarily on packet.net's m1xlarge nodes (2.2Ghz Sandybridge), with each job getting 8 cores allocated. You can speed up your personal CI builds (and marge-bot merges) by using a faster personal machine as a runner. You can find the gitlab-runner -package in debian, or use GitLab's own builds. +package in Debian, or use GitLab's own builds. To do so, follow `GitLab's instructions <https://docs.gitlab.com/ce/ci/runners/#create-a-specific-runner>`__ to |