Skip to content
Lint

[3.13] gh-127833: Docs: Add a grammar-snippet directive & replace productionlist (GH-127835) #64612

Sign in to view logs

[3.13] gh-127833: Docs: Add a grammar-snippet directive & replace productionlist (GH-127835)

[3.13] gh-127833: Docs: Add a grammar-snippet directive & replace productionlist (GH-127835) #64612

Triggered via pull request February 5, 2025 15:12
@miss-islingtonmiss-islington
opened #129689
miss-islington:backport-58a4357-3.13
Status Success
Total duration 35s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

lint.yml

on: pull_request
lint
25s
lint
Fit to window
Zoom out
Zoom in