diff --git a/README.md b/README.md
index 966a178b6..efede334f 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,6 @@
 Rewriter
 =====
+[![CI (Coq)](https://github.com/mit-plv/rewriter/actions/workflows/coq.yml/badge.svg?branch=master)](https://github.com/mit-plv/rewriter/actions/workflows/coq.yml?query=branch%3Amaster)
 
 Publications
 -----
@@ -7,8 +8,6 @@ Publications
 
 Building
 -----
-[![CI (Coq)](https://github.com/mit-plv/rewriter/actions/workflows/coq.yml/badge.svg?branch=master)](https://github.com/mit-plv/rewriter/actions/workflows/coq.yml?query=branch%3Amaster)
-
 This repository requires Coq 8.15 or later, and requires that the version of OCaml used to build Coq be installed and accessible on the system.
 
 Git submodules are used for some dependencies. If you did not clone with `--recursive`, run