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 8953938a53 Update Pyright to v1.1.394 1 month 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 Stop using deprecated set-output GH Actions command 3 years ago
crowdin_upload.yml Use the latest GitHub Action versions 3 years ago
lint.yml Update Pyright to v1.1.394 1 month ago
test.yml Fix nested Annotated calls not resolving 3 years ago