diff --git a/book/src/SUMMARY.md b/book/src/SUMMARY.md
index 200b0cb29ff..595b6138867 100644
--- a/book/src/SUMMARY.md
+++ b/book/src/SUMMARY.md
@@ -16,7 +16,6 @@
 - [Continuous Integration](continuous_integration/README.md)
     - [Travis CI](continuous_integration/travis.md)
     - [GitHub Actions](continuous_integration/github_actions.md)
-    - [Gitlab](continuous_integration/gitlab.md)
 - [Development](development/README.md)
     - [Basics](development/basics.md)
     - [Adding Lints](development/adding_lints.md)
diff --git a/book/src/continuous_integration/github_actions.md b/book/src/continuous_integration/github_actions.md
index 070ef5b41c2..4154c60dbd2 100644
--- a/book/src/continuous_integration/github_actions.md
+++ b/book/src/continuous_integration/github_actions.md
@@ -1,9 +1,7 @@
 # GitHub Actions
 
-## actions-rs
-
-An easy way to get started with adding Clippy to GitHub Actions is
-the [actions-rs](https://github.com/actions-rs) [clippy-check](https://github.com/actions-rs/clippy-check):
+On the GitHub hosted runners, Clippy from the latest stable Rust version comes
+pre-installed. So all you have to do is to run `cargo clippy`.
 
 ```yml
 on: push
diff --git a/book/src/continuous_integration/gitlab.md b/book/src/continuous_integration/gitlab.md
deleted file mode 100644
index bb5b755d5dd..00000000000
--- a/book/src/continuous_integration/gitlab.md
+++ /dev/null
@@ -1,3 +0,0 @@
-# Gitlab
-
-***placeholder***