Merge 82009b3bde52ba09eae338d59adb1c06ac50c997 into 9322b3ca74000aeb2c01eb777b646334015ddd72

This commit is contained in:
Eric Wieser 2025-08-08 17:44:43 -04:00 committed by GitHub
commit ea0f61f91c
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
}
]
}