Include GitLab in the CI section of the clippy doc book Fixes #12012 changelog: Docs: [`Continuous Integration`] now includes how to use clippy in GitLab CI.
Include GitLab in the CI section of the clippy doc book Fixes #12012 changelog: Docs: [`Continuous Integration`] now includes how to use clippy in GitLab CI.