diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-04-07 15:13:49 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-04-12 13:23:30 -0400 |
| commit | e05df3e1380989ca00ecd88b6d7d0f4aec5502fb (patch) | |
| tree | 865c89d7d715ea6226910825e6c5a238f507c1f7 /.gitlab-ci.yml | |
| parent | beaa07d204a779cc509985765a87da95faefb359 (diff) | |
| download | haskell-e05df3e1380989ca00ecd88b6d7d0f4aec5502fb.tar.gz | |
gitlab-ci: Ensure that version number has three components
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 414f8d07e5..6e8d50d5aa 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -59,6 +59,7 @@ ghc-linters: - validate-whitespace .git $(git rev-list $base..$CI_COMMIT_SHA) - .gitlab/linters/check-makefiles.py $base $CI_COMMIT_SHA - .gitlab/linters/check-cpp.py $base $CI_COMMIT_SHA + - .gitlab/linters/check-version-number.sh dependencies: [] tags: - lint |