Tests

GH-145000: Add a tool to check removed HTML IDs #183847

Job	Run time
Change detection / Create context from changed files	14s
C API Docs / Check if all C APIs are documented	11s
Docs / Doctest	5m 7s
Docs / Docs	1m 43s
Docs / Check EPUB	1m 56s
Ubuntu SSL tests with AWS-LC	0s
Windows ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') \|\| '') }}	0s
Ubuntu ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') \|\| '') }} ${{ ((fromJSON(matrix.bolt) && '(bolt)') \|\| '') }}	0s
Address sanitizer	0s
WASI	0s
Windows MSI${{ '' }}	0s
Hypothesis tests on Ubuntu	0s
Check if generated files are up to date	0s
Ubuntu SSL tests with OpenSSL	0s
Sanitizers${{ '' }}	0s
iOS	0s
Cross build Linux	0s
CIFuzz${{ '' }}	0s
Check if Autoconf files are up to date	0s
macOS ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') \|\| '') }}	0s
Android (${{ matrix.arch }})	0s
All required checks pass	4s
	9m 15s

Provide feedback