Skip to content
Lint source code

HTML: Assign glossary terms with grouping keys to single-character groupings #11969

Sign in to view logs

HTML: Assign glossary terms with grouping keys to single-character groupings

HTML: Assign glossary terms with grouping keys to single-character groupings #11969

Triggered via pull request September 5, 2024 17:13
@jayaddisonjayaddison
synchronize #12862
jayaddison:issue-12707/genindex-glossary-grouping-keys
Status Failure
Total duration 33s
Artifacts –

lint.yml

on: pull_request
ruff
8s
ruff
flake8
14s
flake8
mypy
22s
mypy
docs-lint
8s
docs-lint
twine
14s
twine
Fit to window
Zoom out
Zoom in

Annotations

1 error
mypy
Process completed with exit code 1.