diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index baf45abdb5ef6239c91023d3472b1b0155cc24e0..5386aa3a3fb7fbcc8a365a1dfe62d9fb4db5d9ea 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -45,6 +45,12 @@ proof-length:
   script:
     - scripts/proofloc.py --check --long-proofs scripts/known-long-proofs.json `find . -iname *.v`
 
+spell-check:
+  stage: build
+  image: bbbrandenburg/aspell-ci
+  script:
+    - scripts/flag-typos-in-comments.sh `find .  -iname '*.v' ! -path './classic/*'`
+
 1.9.0-coq-8.9:
   extends: .build