Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to '.github/rust.json')
-rw-r--r--.github/rust.json33
1 files changed, 33 insertions, 0 deletions
diff --git a/.github/rust.json b/.github/rust.json
new file mode 100644
index 0000000000..ddaa1b0824
--- /dev/null
+++ b/.github/rust.json
@@ -0,0 +1,33 @@
+{
+ "problemMatcher": [
+ {
+ "owner": "rustfmt",
+ "severity": "warning",
+ "pattern": [
+ {
+ "regexp": "^(Diff in (.+)) at line (\\d+):$",
+ "message": 1,
+ "file": 2,
+ "line": 3
+ }
+ ]
+ },
+ {
+ "owner": "clippy",
+ "pattern": [
+ {
+ "regexp": "^(?:\\x1b\\[[\\d;]+m)*(warning|warn|error)(?:\\x1b\\[[\\d;]+m)*(\\[(.*)\\])?(?:\\x1b\\[[\\d;]+m)*:(?:\\x1b\\[[\\d;]+m)* ([^\\x1b]*)(?:\\x1b\\[[\\d;]+m)*$",
+ "severity": 1,
+ "message": 4,
+ "code": 3
+ },
+ {
+ "regexp": "^(?:\\x1b\\[[\\d;]+m)*\\s*(?:\\x1b\\[[\\d;]+m)*\\s*--> (?:\\x1b\\[[\\d;]+m)*(.*):(\\d*):(\\d*)(?:\\x1b\\[[\\d;]+m)*$",
+ "file": 1,
+ "line": 2,
+ "column": 3
+ }
+ ]
+ }
+ ]
+}