From 61b3b10ed862e78bbd7609f930f035b024a352d4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Brandenburg?= <bbb@mpi-sws.org>
Date: Mon, 2 Dec 2019 16:15:31 +0100
Subject: [PATCH] CI: enable spell checker for comments
---
.gitlab-ci.yml | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index baf45abdb..5386aa3a3 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
--
GitLab