Skip to content
Check labels

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

Sign in to view logs

gh-153227: Use a development version of Pygments

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

Triggered via pull request July 6, 2026 21:56
@ZeroIntensityZeroIntensity
synchronize #153228
ZeroIntensity:docs/use-development-pygments
Status Success
Total duration 13s
Artifacts –

require-pr-label.yml

on: pull_request
DO-NOT-MERGE
5s
DO-NOT-MERGE
Unresolved review
9s
Unresolved review
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Unresolved review
Label error. Requires exactly 1 of: type-feature. Found: docs, awaiting core review, skip news, needs backport to 3.15