diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2022-11-10 15:00:53 +0100 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2022-11-11 11:27:35 +0100 |
| commit | 976ceafe1b260ac435b27682d43c7a3e4feb5427 (patch) | |
| tree | 8035dd9522e44a5ea0e8d90db131d1f9fe488f77 | |
| parent | build: Use -fstrict-flex-arrays=1 if supported (diff) | |
| download | systemd-976ceafe1b260ac435b27682d43c7a3e4feb5427.tar.xz systemd-976ceafe1b260ac435b27682d43c7a3e4feb5427.zip | |
ci: skip running on docs-only changes
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#example-including-and-excluding-paths
> If you define a path with the ! character, you must also define at least one
> path without the ! character. If you only want to exclude paths, use
> paths-ignore instead.
>
> The order that you define patterns matters:
> A matching negative pattern (prefixed with !) after a positive match will
> exclude the path.
> A matching positive pattern after a negative match will include the path
> again.
Even if some of the exluded paths *could* impact the build, generally it's a
waste of time to do mkosi builds on them. Let's skip to releave the builders a
bit.
| -rw-r--r-- | .github/workflows/mkosi.yml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/.github/workflows/mkosi.yml b/.github/workflows/mkosi.yml index dbdae760c2..f544881b34 100644 --- a/.github/workflows/mkosi.yml +++ b/.github/workflows/mkosi.yml @@ -9,10 +9,37 @@ on: branches: - main - v[0-9]+-stable + paths: + - '**' + - '!README*' + - '!LICENSE*' + - '!LICENSES/**' + - '!TODO' + - '!docs/**' + - '!man/**' + - '!catalog/**' + - '!shell-completion/**' + - '!po/**' + - '!.**' + - '.github/**' + pull_request: branches: - main - v[0-9]+-stable + paths: + - '**' + - '!README*' + - '!LICENSE*' + - '!LICENSES/**' + - '!TODO' + - '!docs/**' + - '!man/**' + - '!catalog/**' + - '!shell-completion/**' + - '!po/**' + - '!.**' + - '.github/**' permissions: contents: read |