feat: Add coq.json

href: coq-community/docker-coq#4 (comment) href: https://github.com/mit-plv/fiat-crypto/blob/99c27f45e5b9375214504548f6d4ea5b86ca94ee/.github/coq.json
coq-community · Apr 26, 2020 · 1b8d209 · 1b8d209
1 parent 0c0415a
commit 1b8d209
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/coq.json b/coq.json
@@ -0,0 +1,21 @@
+{
+    "problemMatcher": [
+        {
+            "owner": "coq-problem-matcher",
+            "pattern": [
+                {
+                    "regexp": "^File \"([^ \"]+)\", line (\\d+), characters (\\d+-\\d+):",
+                    "file": 1,
+                    "line": 2,
+                    "column": 3
+                },
+                {
+                    "regexp": "^(Warning|Error):\\s*(.*?)(?:\\s*\\[(.*)\\])?$",
+                    "severity": 1,
+                    "message": 2,
+                    "code": 3
+                }
+            ]
+        }
+    ]
+}