summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-10-24 12:01:09 -0400
committerBen Gamari <ben@smart-cactus.org>2019-10-24 12:01:09 -0400
commitd4c8aa5d1843620d7355c0c81e4ccae39716b6cd (patch)
tree9de6e4c321072359fa80b59e014453876ce4fd79
parent7f72b540288bbdb32a6750dd64b9d366501ed10c (diff)
downloadhaskell-wip/lint-uniques.tar.gz
gitlab-ci: Run check-uniques during lint jobwip/lint-uniques
-rw-r--r--.gitlab-ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6d9f778419..c6c397f727 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -64,6 +64,7 @@ ghc-linters:
- .gitlab/linters/check-makefiles.py $base $CI_COMMIT_SHA
- .gitlab/linters/check-cpp.py $base $CI_COMMIT_SHA
- .gitlab/linters/check-version-number.sh
+ - python3 utils/checkUniques/check-uniques.py .
dependencies: []
tags:
- lint