You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Rapptz 1c7747fe9d Fix nested Annotated calls not resolving 3 years ago
..
scripts Hopefully fix checks triggering for crowdin download 3 years ago
build.yml Marginally speed up CI doc builds by using multiple jobs 3 years ago
crowdin_download.yml Translation-related actions fixes 3 years ago
crowdin_upload.yml Use the latest GitHub Action versions 3 years ago
lint.yml Bump Pyright to 1.1.265, fix type errors, and remove unnecessary ignores 3 years ago
test.yml Fix nested Annotated calls not resolving 3 years ago