Block a user
1f54307fdb
Merge branch 'dev/add-types' into develop
1d0b4cce14
Complete typing with
mypy --check-untyped-defs
.
9fb4bce5ef
Add extra-test validation.
61246da521
Merge MyPy and Pytest Gitea actions.
da1288a6ba
Add MyPy Gitea action.
dfcdc0a105
wip: test gitea actions
343d864559
Fix handling of headline title-tags separated by tabs.