Skip to content

Bump pyright to 1.1.410 and drop now-unnecessary ignore comments (#3216) #1327

Bump pyright to 1.1.410 and drop now-unnecessary ignore comments (#3216)

Bump pyright to 1.1.410 and drop now-unnecessary ignore comments (#3216) #1327

Triggered via push June 4, 2026 06:43
Status Success
Total duration 2m 17s
Artifacts 1

publish-site.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
146 KB
sha256:ca7136b21c2ac6664a2486e4d5ac67d1f21d62fcc4071cdb34f0650513fa7b95