GitHub: Run pre-commit on all files

2025-03-05 21:04:33 -06:00
parent d28551332c
commit 8233dfd191
10 changed files with 93 additions and 92 deletions
--- a/.github/problemMatcher/cpplint.json
+++ b/.github/problemMatcher/cpplint.json
@@ -1,16 +1,16 @@
 {
-  "problemMatcher": [
-    {
-      "owner": "cpplint",
-      "severity": "warning",
-      "pattern": [
+    "problemMatcher": [
        {
-          "regexp": "^(.+):([0-9]+):  (.+)$",
-          "file": 1,
-          "line": 2,
-          "message": 3
+            "owner": "cpplint",
+            "severity": "warning",
+            "pattern": [
+                {
+                    "regexp": "^(.+):([0-9]+):  (.+)$",
+                    "file": 1,
+                    "line": 2,
+                    "message": 3
+                }
+            ]
        }
-      ]
-    }
-  ]
+    ]
 }