Merge pull request #3716 from jackwilsdon/sphinx-problem-matcher

Add sphinx problem matcher
This commit is contained in:
Jack Wilsdon 2020-08-06 12:53:30 +01:00 committed by GitHub
commit ff445ed2f8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 21 additions and 0 deletions

18
.github/sphinx-problem-matcher.json vendored Normal file
View file

@ -0,0 +1,18 @@
{
"problemMatcher": [
{
"owner": "sphinx",
"pattern": [
{
"regexp": "^Warning, treated as error:$"
},
{
"regexp": "^(.*?):(\\d+):(.*)$",
"file": 1,
"line": 2,
"message": 3
}
]
}
]
}

View file

@ -59,6 +59,9 @@ jobs:
python -m pip install --upgrade pip
python -m pip install tox sphinx
- name: Add problem matcher
run: echo "::add-matcher::.github/sphinx-problem-matcher.json"
- name: Build and check docs using tox
run: tox -e docs