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 /.github/workflows | |
| 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 '.github/workflows')
| -rw-r--r-- | .github/workflows/test.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 14546cb371..bdec96babb 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -48,7 +48,7 @@ jobs: cmake --build .deps - if: success() || failure() && steps.abort_job.outputs.status == 'success' - run: cmake -B build -G Ninja + run: cmake -B build -G Ninja -D CI_LINT=ON - if: "!cancelled()" name: Determine if run should be aborted |