| commit | 60d3e0eea07daf7b2e35b564e067de014078e7f7 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Sun Jan 28 16:08:25 2024 -0500 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Sun Jan 28 16:08:25 2024 -0500 |
| tree | 8e368f1e98d6b7b80d240a24e72cb9a7732731f7 | |
| parent | 5748e82c1ea2324c664fe97d2b2912e956f9fe8b [diff] [blame] |
ci: add `paths-ignore` Change-Id: I32bdb15e5063a22f8ff642281c473e15e571f0f2
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d25d92a..ed54263 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml
@@ -1,6 +1,10 @@ name: CI on: push: + paths-ignore: + - 'manpages/**' + - '*.md' + - '.mailmap' workflow_dispatch: permissions: {}