diff --git a/.github/coq-errors.json b/.github/coq-errors.json
new file mode 100644
index 000000000..a52d73e5e
--- /dev/null
+++ b/.github/coq-errors.json
@@ -0,0 +1,20 @@
+{
+    "problemMatcher": [
+        {
+            "owner": "coq",
+            "pattern": [
+                {
+                    "regexp": "^File \"([^\"].*)\", line (\\d+), characters (\\d+)-(\\d+):$",
+                    "file": 1,
+                    "line": 2,
+                    "column": 3
+                },
+                {
+                    "regexp": "^(Error|Warning): (.*)$",
+                    "severity": 1,
+                    "message": 2
+                }
+            ]
+        }
+    ]
+}