1 files changed, 3 insertions, 10 deletions
diff --git a/dev/ci/README.md b/dev/ci/README.md
index 45176581cd..a814e4914e 100644
--- a/dev/ci/README.md
+++ b/dev/ci/README.md
@@ -75,9 +75,6 @@ We are currently running tests on the following platforms:
   camlp5, and with warnings as errors; it runs the test-suite and tests the
   compilation of several external developments.
 
-- Circle CI runs tests that are redundant with GitLab CI and may be removed
-  eventually.
-
 - Travis CI is used to test the compilation of Coq and run the test-suite on
   macOS. It also runs a linter that checks whitespace discipline. A
   [pre-commit hook](../tools/pre-commit) is automatically installed by
@@ -141,14 +138,11 @@ persists to and is used by the next jobs.
 
 Artifacts can also be downloaded from the GitLab repository.
 Currently, available artifacts are:
-- the Coq executables and stdlib, in three copies varying in
+- the Coq executables and stdlib, in four copies varying in
   architecture and OCaml version used to build Coq.
-- the Coq documentation, built only in the `build:base` job. When submitting
+- the Coq documentation, built in the `documentation` job. When submitting
   a documentation PR, this can help reviewers checking the rendered result.
 
-As an exception to the above, jobs testing that compilation triggers
-no OCaml warnings build Coq in parallel with other tests.
-
 ### GitLab and Windows
 
 If your repository has access to runners tagged `windows`, setting the
@@ -165,8 +159,7 @@ automatically built and uploaded to your GitLab registry, and is
 loaded by subsequent jobs.
 
 **IMPORTANT**: When updating Coq's CI docker image, you must modify
-the `CACHEKEY` variable in [`.gitlab-ci.yml`](../../.gitlab-ci.yml),
-[`.circleci/config.yml`](../../.circleci/config.yml),
+the `CACHEKEY` variable in [`.gitlab-ci.yml`](../../.gitlab-ci.yml)
 and [`Dockerfile`](docker/bionic_coq/Dockerfile)
 
 The Docker building job reuses the uploaded image if it is available,