Skip to content
Render documentation

Allow case-insensitive match of label-refs through intersphinx #4

Sign in to view logs

Allow case-insensitive match of label-refs through intersphinx

Allow case-insensitive match of label-refs through intersphinx #4

Triggered via push March 2, 2024 06:21
@goerzgoerz
pushed 05223e0
intersphinx-case-insensitive-labels
Status Success
Total duration 45s
Artifacts –

builddoc.yml

on: push
build
35s
build
Fit to window
Zoom out
Zoom in