From e70bbfac1593fd0ce38fb49fc8e5a6312453578f Mon Sep 17 00:00:00 2001
From: Laurence Lord <laurence.lord@ledger.fr>
Date: Tue, 8 Oct 2024 14:13:49 +0100
Subject: [PATCH] Don't run "validate_descriptors" for changes to
 "developer-preview" directory

---
 .github/workflows/pull_request.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml
index e6782c7b..f0405c30 100644
--- a/.github/workflows/pull_request.yml
+++ b/.github/workflows/pull_request.yml
@@ -2,6 +2,8 @@ name: ✨ pull request
 
 on:
   pull_request:
+    paths-ignore:
+      - "developer-preview/**"
 
 permissions:
   id-token: write