From 9e7dcdb6f1fd0b96147e62dc76262d592e2d0af9 Mon Sep 17 00:00:00 2001
From: BowTiedRadone <bowtiedradone@gmail.com>
Date: Fri, 27 Dec 2024 18:25:56 +0200
Subject: [PATCH] Filter the paths to be included in the CI process

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 238572e..46c81c8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,9 +4,13 @@ on:
   push:
     branches:
       - master
+    paths:
+      - *paths
   pull_request:
     branches:
       - master
+    paths:
+      - *paths
 
 jobs:
   test:
@@ -41,3 +45,10 @@ jobs:
           ./rv example cargo invariant
           ./rv example reverse test
           ./rv example slice test
+
+paths: &paths
+  - "**.ts"
+  - "**.js"
+  - "**.json"
+  - "example/**"
+  - ".github/workflows/**"