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