From f82b88d6eca62bef097c9606736aa46e4673347c Mon Sep 17 00:00:00 2001
From: Jan Ouwens <jan.ouwens@gmail.com>
Date: Wed, 31 Aug 2022 08:28:47 +0200
Subject: [PATCH] Don't trigger CI for docs changes

---
 .github/workflows/ci.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 264330246..9d0a50cb2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,5 +1,9 @@
 name: CI
-on: [ push ]
+on:
+  push:
+    paths:
+      - '**.java'
+      - '**.xml'
 
 jobs:
   supported-jdk: