black-sliver 1ac8349bd4 CI: update pyright (#4506)		2025-01-17 21:30:18 +01:00
..
ISSUE_TEMPLATE	templates: fix bug report label	2022-09-01 22:33:22 +02:00
workflows	CI: update pyright (#4506)	2025-01-17 21:30:18 +01:00
FUNDING.yml	Github Sponsors	2020-02-25 13:46:42 +01:00
labeler.yml	CI: add missing core files to "affects: core" labelling (#2824)	2024-02-21 09:51:22 +01:00
pull_request_template.md	Github: templates and new user interface (#870)	2022-08-23 00:39:55 +02:00
pyright-config.json	Core: some low-hanging fruit on the strict type check (#3416)	2025-01-17 20:14:21 +01:00
type_check.py	CI: pyright in github actions (#3121)	2024-04-16 23:03:30 +02:00