Lint

WIP: Docs: use a Sphinx extension to eliminate excessive links #107323

Sign in to view logs

Triggered via pull request February 24, 2026 12:44

nedbat

synchronize #145130

nedbat:nedbat/no-duplicate-links

Status Success

Total duration 38s

Artifacts –

lint.yml

on: pull_request