Skip to content

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

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

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

Triggered via pull request February 5, 2025 15:12
Status Success
Total duration 6m 57s
Artifacts

build.yml

on: pull_request
Change detection  /  Compute changed files
9s
Change detection / Compute changed files
Matrix: Address sanitizer
Matrix: build_macos
Waiting for pending jobs
Matrix: build_ubuntu
Waiting for pending jobs
Matrix: Ubuntu SSL tests with OpenSSL
Matrix: build_windows
Waiting for pending jobs
Matrix: build_windows_msi
Waiting for pending jobs
Docs  /  Docs
1m 45s
Docs / Docs
Docs  /  Doctest
6m 19s
Docs / Doctest
Check if generated files are up to date
0s
Check if generated files are up to date
Hypothesis tests on Ubuntu
0s
Hypothesis tests on Ubuntu
Thread sanitizer  /  Thread sanitizer
Thread sanitizer / Thread sanitizer
Check if the ABI has changed
0s
Check if the ABI has changed
Check if Autoconf files are up to date
0s
Check if Autoconf files are up to date
All required checks pass
2s
All required checks pass
Fit to window
Zoom out
Zoom in

Annotations

1 error
Docs / Docs
Process completed with exit code 2.