Merge 6040f99f8a537d554f7cd20ed379f10284cb0807 into 2016bd2012dba4e32de620c46fe006a3ac9f0602

This commit is contained in:
Jakob Guddas 2025-12-17 10:53:29 +01:00 committed by GitHub
commit f4a5c2d5c0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

2
.github/csc.json vendored
View File

@ -4,7 +4,7 @@
"owner": "csc", "owner": "csc",
"pattern": [ "pattern": [
{ {
"regexp": "^([^\\s].*)\\((\\d+)(?:,\\d+|,\\d+,\\d+)?\\):\\s+(error|warning)\\s+([a-zA-Z]+(?<!MSB)\\d+):\\s*(.*?)\\s+\\[(.*?)\\]$", "regexp": "^(.*)\\((\\d+)(?:,\\d+|,\\d+,\\d+)?\\):\\s+(error|warning)\\s+([a-zA-Z]+(?<!MSB)\\d+):\\s*(.*?)\\s+\\[(.*?)\\]$",
"file": 1, "file": 1,
"line": 2, "line": 2,
"severity": 3, "severity": 3,