From 2780a5f148ea5dc008bedd44ef54aac1815e817b Mon Sep 17 00:00:00 2001
From: proddy <paul@derbyshire.nl>
Date: Wed, 6 Nov 2024 20:44:01 +0100
Subject: [PATCH] remove paths-ignore, can't have both!

---
 .github/workflows/pr_check.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/pr_check.yml b/.github/workflows/pr_check.yml
index f3861c5fa..003969d14 100644
--- a/.github/workflows/pr_check.yml
+++ b/.github/workflows/pr_check.yml
@@ -4,8 +4,6 @@ on:
   workflow_dispatch:
   pull_request:
     branches: dev
-    paths-ignore:
-     - 'interface/**'
     paths:
      - '**.c'
      - '**.cpp'