Skip to content
GitLab
Explore
Sign in
Fix a type checking error for Sphinx documentation generation
Code
Review changes
Check out branch
Download
Patches
Plain diff
Daniel Lyons
requested to merge
fix-pages-build
into
main
Jun 18, 2024
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
It turns out, the type
list[""]
is very wrong.
Merge request reports