Skip to content

gh-145000: Run check-html-ids.py in CI #187514

gh-145000: Run check-html-ids.py in CI

gh-145000: Run check-html-ids.py in CI #187514

Re-run triggered April 1, 2026 11:36
Status Success
Total duration 18m 44s
Artifacts 2

build.yml

on: pull_request
Change detection  /  Create context from changed files
18s
Change detection / Create context from changed files
Matrix: Address sanitizer
Matrix: build-macos
Matrix: build-san
Matrix: Ubuntu SSL tests
Matrix: build-ubuntu
Matrix: build-windows-msi
Waiting for pending jobs
Matrix: build-windows
Matrix: cifuzz
Waiting for pending jobs
Docs  /  Doctest
5m 39s
Docs / Doctest
Docs  /  Check EPUB
2m 20s
Docs / Check EPUB
Check if Autoconf files are up to date
30s
Check if Autoconf files are up to date
Check if generated files are up to date
4m 8s
Check if generated files are up to date
C API Docs  /  Check if all C APIs are documented
11s
C API Docs / Check if all C APIs are documented
iOS
21m 25s
iOS
Emscripten  /  build and test
19m 36s
Emscripten / build and test
WASI  /  build and test
5m 21s
WASI / build and test
Hypothesis tests on Ubuntu
9m 24s
Hypothesis tests on Ubuntu
Cross build Linux
4m 17s
Cross build Linux
Matrix: build-android
Docs  /  ...  /  Check for removed HTML IDs
2m 2s
Docs / Check for removed HTML IDs / Check for removed HTML IDs
All required checks pass
3s
All required checks pass
Fit to window
Zoom out
Zoom in