From cb016f116bf8134bb2095cdec67cf37eae747a04 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Fri, 29 Nov 2024 23:34:12 +0100
Subject: [PATCH] ci/check-shell: only run if `shell.nix` or `./ci/**` is
 changed

saves a bit of CI time
---
 .github/workflows/check-shell.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/check-shell.yml b/.github/workflows/check-shell.yml
index 82bc43fb9294..18ec9780b56b 100644
--- a/.github/workflows/check-shell.yml
+++ b/.github/workflows/check-shell.yml
@@ -2,6 +2,9 @@ name: "Check shell"
 
 on:
   pull_request_target:
+    paths:
+      - 'shell.nix'
+      - './ci/**'
 
 permissions: {}