diff options
author | Matthias Dressel <code@deadcode.eu> | 2019-03-01 04:16:34 +0300 |
---|---|---|
committer | Jean-Baptiste Kempf <jb@videolan.org> | 2019-03-01 18:34:45 +0300 |
commit | b78fba8f638f18658bba292d9777ac7d080d5ee7 (patch) | |
tree | a3cca0aaa2f185ebaf22f165105ce83f12c23c82 /.gitlab-ci.yml | |
parent | e1c5fed09c8980f607da4365ce3cdb90e30985c1 (diff) |
ci: Add style check for 'david' with an i
Check the code for misspellings of 'dav1d'/'DAV1D' as 'david'/'DAVID'.
This helps consistency and prevents bugs arising from these
misspellings.
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 016fe89..c22bf54 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,6 +11,7 @@ style-check: - amd64 script: - git grep -n -P "\t|\r| $" -- . ':(exclude)*/compat/*' && exit 1 + - git grep -n -i "david" -- . ':(exclude)THANKS.md' ':(exclude).gitlab-ci.yml' && exit 1 - git remote rm upstream 2> /dev/null || true - git remote add upstream https://code.videolan.org/videolan/dav1d.git - git fetch -q upstream master |