[CI] Add file type check (#3116)
authorTianqi Chen <tqchen@users.noreply.github.com>
Sun, 28 Apr 2019 19:04:19 +0000 (12:04 -0700)
committerGitHub <noreply@github.com>
Sun, 28 Apr 2019 19:04:19 +0000 (12:04 -0700)
commitfbcb67afdc1f1db83ad75eb89d59c1e30533c4c2
treed7eb70dfcb8b1c7c7a234903b4683d3c54d62f3a
parente22b5802a3e6c269d76e52428ca81cbd4b7d8304
[CI] Add file type check (#3116)
Jenkinsfile
docker/Dockerfile.ci_lint
docker/install/ubuntu_install_rat.sh [new file with mode: 0755]
docker/install/ubuntu_install_vulkan.sh
tests/lint/check_file_type.py [new file with mode: 0644]
tests/scripts/task_lint.sh