From 2c2dc706b982c325477b627bed170b77c5f5502e Mon Sep 17 00:00:00 2001
From: Adrian Moennich <adrian.moennich@cern.ch>
Date: Tue, 19 Sep 2023 11:31:14 +0200
Subject: [PATCH] Add problem matcher for header checks on CI

---
 .github/matchers/ruff.json                     | 16 ++++++++++++++++
 .github/matchers/unbehead-problem-matcher.json | 14 ++++++++++++++
 2 files changed, 30 insertions(+)
 create mode 100644 .github/matchers/ruff.json
 create mode 100644 .github/matchers/unbehead-problem-matcher.json

diff --git a/.github/matchers/ruff.json b/.github/matchers/ruff.json
new file mode 100644
index 0000000..927d1ce
--- /dev/null
+++ b/.github/matchers/ruff.json
@@ -0,0 +1,16 @@
+{
+  "problemMatcher": [
+    {
+      "owner": "ruff",
+      "pattern": [
+        {
+          "regexp": "^([^:]+):(\\d+):(\\d+): \\s(.+)$",
+          "file": 1,
+          "line": 2,
+          "column": 3,
+          "message": 4
+        }
+      ]
+    }
+  ]
+}
diff --git a/.github/matchers/unbehead-problem-matcher.json b/.github/matchers/unbehead-problem-matcher.json
new file mode 100644
index 0000000..814e103
--- /dev/null
+++ b/.github/matchers/unbehead-problem-matcher.json
@@ -0,0 +1,14 @@
+{
+  "problemMatcher": [
+    {
+      "owner": "unbehead",
+      "pattern": [
+        {
+          "regexp": "^((?:Missing|Incorrect) header) in (.+)$",
+          "message": 1,
+          "file": 2
+        }
+      ]
+    }
+  ]
+}