CI: enable spell checker for comments

61b3b10e · Björn Brandenburg · d1f8192c · 61b3b10e
Commit 61b3b10e authored Dec 02, 2019 by Björn Brandenburg
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

.gitlab-ci.yml .gitlab-ci.yml +6 -0

No files found.
--- 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