Use sphinx-doc/github-problem-matcher in CI - #1834

Use sphinx-doc/github-problem-matcher in CI#1834

hugovk merged 1 commit into

python:mainpython/devguide:mainfrom

StanFromIreland:sphinx-matcherStanFromIreland/devguide:sphinx-matcherCopy head branch name to clipboard