Skip to content

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

Open
StanFromIreland wants to merge 1 commit into
python:mainfrom
StanFromIreland:sphinx-matcher
Open

Use sphinx-doc/github-problem-matcher in CI#1834
StanFromIreland wants to merge 1 commit into
python:mainfrom
StanFromIreland:sphinx-matcher

Use `sphinx-doc/github-problem-matcher` in CI

a04caa5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint
succeeded Jun 12, 2026 in 7s