Skip to content
Tests

[3.13] gh-134817: Restore accidentally deleted line in documentation. (GH-141013) #172143

Sign in to view logs

[3.13] gh-134817: Restore accidentally deleted line in documentation. (GH-141013)

[3.13] gh-134817: Restore accidentally deleted line in documentation. (GH-141013) #172143

Triggered via pull request November 4, 2025 18:30
@miss-islingtonmiss-islington
opened #141017
miss-islington:backport-66c86c6-3.13
Status Success
Total duration 6m 26s
Artifacts –

build.yml

on: pull_request
Change detection  /  Create context from changed files
14s
Change detection / Create context from changed files
Matrix: build-android
Matrix: Address sanitizer
Matrix: build-macos
Waiting for pending jobs
Matrix: build-san
Waiting for pending jobs
Matrix: Ubuntu SSL tests with OpenSSL
Matrix: build-ubuntu
Waiting for pending jobs
Matrix: build-windows-msi
Waiting for pending jobs
Matrix: build-windows
Waiting for pending jobs
Matrix: CIFuzz
Docs  /  Docs
1m 40s
Docs / Docs
Docs  /  Doctest
5m 57s
Docs / Doctest
Docs  /  Check EPUB
1m 55s
Docs / Check EPUB
Check if Autoconf files are up to date
0s
Check if Autoconf files are up to date
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
WASI  /  build and test
WASI / build and test
Check if the ABI has changed
0s
Check if the ABI has changed
All required checks pass
5s
All required checks pass
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Docs / Docs
Process completed with exit code 2.
Docs / Check EPUB
Process completed with exit code 1.