mirror of
https://github.com/lucaspalomodevelop/indico-plugins.git
synced 2026-03-13 07:29:39 +00:00
15 lines
223 B
JSON
15 lines
223 B
JSON
{
|
|
"problemMatcher": [
|
|
{
|
|
"owner": "headers",
|
|
"pattern": [
|
|
{
|
|
"regexp": "^((?:Missing|Incorrect) header) in (.+)$",
|
|
"message": 1,
|
|
"file": 2
|
|
}
|
|
]
|
|
}
|
|
]
|
|
}
|