Skip CI for documentation-only changes (#464)

Add paths-ignore filters to build and publish workflows so pushes and
PRs that only touch markdown files, docs/, license files, .gitignore,
or issue templates do not trigger a full build.

Author: lucassaldanha

.github/workflows/build.yml

@@ -1,5 +1,23 @@
 name: build
-on: [push, pull_request]
+on:
+  push:
+    paths-ignore:
+      - '**/*.md'
+      - 'docs/**'
+      - '.gitignore'
+      - 'LICENSE-APACHE'
+      - 'LICENSE-MIT'
+      - 'funding.json'
+      - '.github/ISSUE_TEMPLATE/**'
+  pull_request:
+    paths-ignore:
+      - '**/*.md'
+      - 'docs/**'
+      - '.gitignore'
+      - 'LICENSE-APACHE'
+      - 'LICENSE-MIT'
+      - 'funding.json'
+      - '.github/ISSUE_TEMPLATE/**'
 jobs:
   gradle:
     strategy:

.github/workflows/publish.yml

@@ -3,6 +3,14 @@ on:
   push:
     branches:
       - "develop"
+    paths-ignore:
+      - '**/*.md'
+      - 'docs/**'
+      - '.gitignore'
+      - 'LICENSE-APACHE'
+      - 'LICENSE-MIT'
+      - 'funding.json'
+      - '.github/ISSUE_TEMPLATE/**'
 jobs:
   publish:
     runs-on: ubuntu-latest