commit 6cd643dbf9a17ec6700c1b015cb4ac202ec1b0b6
parent d48ea0e3eae44a27cf8f0237c137b75e5298ab65
Author: dundargoc <33953936+dundargoc@users.noreply.github.com>
Date: Thu, 6 Oct 2022 18:45:42 +0200
ci: update which paths to ignore (#20510)
Skipping the CI on documentation-only changes is no longer appropriate
as we now rely on CI to test parts of documentation, e.g.
test/functional/lua/help_spec.lua.
Ignore changes in contrib/ as it's for non-essential user contributions
that we don't need to test.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -9,7 +9,7 @@ on:
- 'master'
- 'release-[0-9]+.[0-9]+'
paths-ignore:
- - 'runtime/doc/*'
+ - 'contrib/**'
# Cancel any in-progress CI runs for a PR if it is updated
concurrency: