Lint

gh-153227: Use a development version of Pygments #123819

Sign in to view logs

Triggered via pull request July 6, 2026 21:56

synchronize #153228

ZeroIntensity:docs/use-development-pygments

Status Success

Total duration 40s

Artifacts –

lint.yml

on: pull_request