Merge 82009b3bde52ba09eae338d59adb1c06ac50c997 into ad3497abcd142e169a10aac37abd5175c44f33c4

This commit is contained in:
Eric Wieser 2026-09-09 23:42:26 -07:00 committed by GitHub
commit 9080abf3d3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

9
.github/python.json vendored
View File

@ -4,13 +4,16 @@
"owner": "python",
"pattern": [
{
"regexp": "^\\s*File\\s\\\"(.*)\\\",\\sline\\s(\\d+),\\sin\\s(.*)$",
"regexp": "^ File \"([^\"]*)\", line (\\d+).*",
"file": 1,
"line": 2
},
{
"regexp": "^\\s*raise\\s(.*)\\(\\'(.*)\\'\\)$",
"message": 2
"regexp": "^ .*$"
},
{
"regexp": "^(?! File)(.*)\\s*$",
"message": 1
}
]
}