Doc: add `anchormap` directive for anchor redirects

e6d0bbe

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Check labels on: pull_request 1

DO-NOT-MERGE

Unresolved review

Check labels on: pull_request 1

DO-NOT-MERGE

Unresolved review

Check labels on: pull_request 1

DO-NOT-MERGE

Unresolved review

Lint on: pull_request

lint

Check labels on: pull_request 1

DO-NOT-MERGE

Unresolved review

Tests on: pull_request 2

Change detection / Create context from changed files

Docs / Docs

Docs / Doctest

Docs / Check EPUB

Docs / Check for removed HTML IDs / Check for removed HTML IDs

Check if Autoconf files are up to date

Check if generated files are up to date

C API Docs / Check if all C APIs are documented

Windows ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') || '') }}

Windows MSI${{ '' }}

macOS ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') || '') }}

Ubuntu ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') || '') }} ${{ ((fromJSON(matrix.bolt) && '(bolt)') || '') }}

Ubuntu SSL tests

Android (${{ matrix.arch }})

iOS

Emscripten

WASI

Hypothesis tests on Ubuntu

Address sanitizer

Sanitizers${{ '' }}

Cross build Linux

CIFuzz${{ '' }}

All required checks pass

Check labels on: pull_request 1

DO-NOT-MERGE

Unresolved review

Annotations

1 warning

Check whether this PR is a feature (contains a "type-feature" label)

Label error. Requires exactly 1 of: type-feature. Found: docs, skip issue, awaiting core review, skip news

Unresolved review

succeeded Jun 8, 2026 in 6s

Loading

Re-running jobs...