diff --git a/.github/workflows/ci_sanitized.yml b/.github/workflows/ci_sanitized.yml index c73b3c644a..25026ed5ca 100644 --- a/.github/workflows/ci_sanitized.yml +++ b/.github/workflows/ci_sanitized.yml @@ -2,11 +2,13 @@ name: Sanitized CI on: push: - paths-ignore: - - "**.md" + paths: + - '!**' + - 'vlib/v/**.v' pull_request: - paths-ignore: - - "**.md" + paths: + - '!**' + - 'vlib/v/**.v' jobs: no-scheduling: