Deploy documentation

Bump pyright to 1.1.410 and drop now-unnecessary ignore comments #1326

Sign in to view logs

Triggered via pull request June 4, 2026 06:33

opened #3216

adamtheturtle/explain-failing-bump

Status Success

Total duration 2m 14s

Artifacts –

publish-site.yml

on: pull_request