Skip to content

gh-139837: document attributes of objects recorded by warnings.catch_warnings #196315

gh-139837: document attributes of objects recorded by warnings.catch_warnings

gh-139837: document attributes of objects recorded by warnings.catch_warnings #196315

Re-run triggered June 13, 2026 15:12
Status Success
Total duration 5m 6s
Artifacts 1

build.yml

on: pull_request
Change detection  /  Create context from changed files
26s
Change detection / Create context from changed files
Matrix: Address sanitizer
Matrix: build-macos
Waiting for pending jobs
Matrix: build-san
Waiting for pending jobs
Matrix: Ubuntu SSL tests
Matrix: build-ubuntu
Waiting for pending jobs
Matrix: build-windows-msi
Waiting for pending jobs
Matrix: build-windows
Waiting for pending jobs
Matrix: cifuzz
Waiting for pending jobs
Docs  /  Doctest
7m 56s
Docs / Doctest
Docs  /  Check EPUB
2m 22s
Docs / Check EPUB
Check if Autoconf files are up to date
Check if Autoconf files are up to date
Check if generated files are up to date
Check if generated files are up to date
C API Docs  /  Check if all C APIs are documented
10s
C API Docs / Check if all C APIs are documented
iOS
iOS
Hypothesis tests on Ubuntu
Hypothesis tests on Ubuntu
Cross build Linux
Cross build Linux
Emscripten  /  build and test
Emscripten / build and test
WASI  /  build and test
WASI / build and test
Matrix: build-android
Docs  /  ...  /  Check for removed HTML IDs
2m 19s
Docs / Check for removed HTML IDs / Check for removed HTML IDs
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.

Artifacts

Produced during runtime
Name Size Digest
html-ids-head.json.gz
120 KB
sha256:d3cd437a839167dd824283bd41b63600165669e860506d534b39cebf1519156a