Skip to content

docs: stop repeating the section prefix in generated Markdown links (… #399

docs: stop repeating the section prefix in generated Markdown links (…

docs: stop repeating the section prefix in generated Markdown links (… #399

Triggered via push September 22, 2026 12:04
Status Success
Total duration 2m 58s
Artifacts –

on_master.yaml

on: push
Matrix: Checks / integration_tests
Matrix: Checks / Lint check / Lint check
Matrix: Checks / Type check / Type check
Matrix: Checks / Unit tests / Unit tests
Waiting for pending jobs
Checks  /  Actions lint check
35s
Checks / Actions lint check
Checks  /  Spell check
7s
Checks / Spell check
Checks  /  Docstrings check
12s
Checks / Docstrings check
Checks  /  Markdown lint check
20s
Checks / Markdown lint check
Checks  /  Website lint check
21s
Checks / Website lint check
Checks  /  Image lint check
8s
Checks / Image lint check
Checks  /  Package check
18s
Checks / Package check
Checks  /  ...  /  Docs check
1m 12s
Checks / Doc check / Docs check
Beta release
0s
Beta release
Doc release  /  Release docs
1m 39s
Doc release / Release docs
Fit to window
Zoom out
Zoom in

Annotations

17 notices
Checks / Spell check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Image lint check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Lint check / Lint check (3.11)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Type check / Type check (3.14)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Type check / Type check (3.11)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Lint check / Lint check (3.13)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Type check / Type check (3.12)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Docstrings check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Lint check / Lint check (3.12)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Lint check / Lint check (3.14)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Package check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Type check / Type check (3.13)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Markdown lint check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Website lint check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Actions lint check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Checks / Doc check / Docs check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Doc release / Release docs
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"