Lint

Use `sphinx-doc/github-problem-matcher` in CI (#1834) #1942

Sign in to view logs

Triggered via push June 15, 2026 11:23

hugovk

main

Status Success

Total duration 10s

Artifacts –

lint.yml

on: push