diff options
| author | Rémy Coutable <remy@rymai.me> | 2017-04-26 19:54:48 +0300 |
|---|---|---|
| committer | Robert Speicher <rspeicher@gmail.com> | 2017-05-01 18:04:13 +0300 |
| commit | 336d79fbf9715839d7f969f00d51632282b91fa9 (patch) | |
| tree | 925f344cc012072a8b312f72b03f4b9ea4d30bac /scripts/lint-doc.sh | |
| parent | 0789d7aab31674dc6158c8d4f8687fcff281e8a2 (diff) | |
Group static-analysis jobs into a single job
Signed-off-by: Rémy Coutable <remy@rymai.me>
Diffstat (limited to 'scripts/lint-doc.sh')
| -rwxr-xr-x | scripts/lint-doc.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/lint-doc.sh b/scripts/lint-doc.sh index 62236ed539a..54c1ef3dfdd 100755 --- a/scripts/lint-doc.sh +++ b/scripts/lint-doc.sh @@ -21,4 +21,3 @@ fi echo "✔ Linting passed" exit 0 - |