diff options
| author | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2023-06-24 00:29:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-24 00:29:53 +0200 |
| commit | 46e95909bf898bd295f8009b15a88719733de906 (patch) | |
| tree | f2de054b7c0b150e2d9d578a1ed787ba2e84edc6 /runtime/lua/vim/version.lua | |
| parent | 4dc86477b674d056b137a3afafd8824f7b7717ec (diff) | |
| download | rneovim-46e95909bf898bd295f8009b15a88719733de906.tar.gz rneovim-46e95909bf898bd295f8009b15a88719733de906.tar.bz2 rneovim-46e95909bf898bd295f8009b15a88719733de906.zip | |
ci: introduce CI_LINT option
This will abort if lint programs are not found, and is meant primarily
for the lint job in CI. Supersedes the REQUIRED argument in
add_glob_target as it's a superior replacement by being a built-in
solution.
Diffstat (limited to 'runtime/lua/vim/version.lua')
0 files changed, 0 insertions, 0 deletions