diff options
author | Dudemanguy <random342@airmail.cc> | 2023-09-23 22:13:41 -0500 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2023-09-24 18:11:07 +0000 |
commit | 155777fbd850a5f66e80b513ea1dae9c06abc2ff (patch) | |
tree | 1b58e20b35d3957993ea8654840c40427e417bb0 | |
parent | 652a1dd90711839acdccc08004056d25514ef2d8 (diff) | |
download | mpv-155777fbd850a5f66e80b513ea1dae9c06abc2ff.tar.bz2 mpv-155777fbd850a5f66e80b513ea1dae9c06abc2ff.tar.xz |
github/workflows: only run build if source/build files change
When someone purely changes some documentation or something similar,
there's no point in having the whole CI build go off. This also leads to
the bot spamming a comment linking to artifacts. This is only useful if
actual source code changes (i.e. so users can test if need). So just add
a path filter to blacklist directories we don't want to consider. If all
changed files match those directories then the CI won't run.
-rw-r--r-- | .github/workflows/build.yml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index bffbe5afe8..88d6dc234f 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -6,8 +6,14 @@ on: - master - ci - 'release/**' + paths-ignore: + - 'DOCS/**' + - 'TOOLS/lua/**' pull_request: branches: [master] + paths-ignore: + - 'DOCS/**' + - 'TOOLS/lua/**' jobs: mingw: |