ci: add paths-ignore

Change-Id: I32bdb15e5063a22f8ff642281c473e15e571f0f2
named-data · Jan 28, 2024 · 60d3e0e · 60d3e0e
1 parent 5748e82
commit 60d3e0e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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: {}