GH-145000: Add a tool to check removed HTML IDs #183842
Triggered via pull request
February 25, 2026 10:57
encukou
Status
Cancelled
Total duration
3m 28s
Artifacts
–
build.yml
on: pull_request
Change detection
/
Create context from changed files
11s
Matrix: Address sanitizer
Matrix: build-macos
Waiting for pending jobs
Matrix: build-san
Waiting for pending jobs
Matrix: Ubuntu SSL tests with AWS-LC
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
Waiting for pending jobs
Docs
/
Docs
1m 53s
Docs
/
Doctest
3m 4s
Docs
/
Check EPUB
1m 58s
Check if Autoconf files are up to date
0s
Check if generated files are up to date
0s
C API Docs
/
Check if all C APIs are documented
11s
iOS
0s
Hypothesis tests on Ubuntu
0s
Cross build Linux
0s
WASI
/
build and test
Matrix: build-android
All required checks pass
4s
Annotations
7 errors
|
Docs / Docs
Process completed with exit code 2.
|
|
Docs / Check EPUB
Process completed with exit code 1.
|
|
Docs / Doctest
Canceling since a higher priority waiting request for Tests-encukou-check-removed-anchors exists
|
|
Docs / Doctest
The operation was canceled.
|
|
Tests
Canceling since a higher priority waiting request for Tests-encukou-check-removed-anchors exists
|
|
Tests
Canceling since a higher priority waiting request for Tests-encukou-check-removed-anchors exists
|
|
All required checks pass
Process completed with exit code 1.
|