Closed bersbersbers closed 11 months ago
It seems pyright is published between 3 and 5 am (GMT+1, I believe), which should be 2-4 am GMT: https://www.npmjs.com/package/pyright?activeTab=versions
pyright
However, the pyright-python watcher runs at midnight (in what seems to be GMT).
pyright-python
https://github.com/RobertCraigie/pyright-python/blob/21f3e760e17ac8b7b0aa36a36960a9d99e194ab4/.github/workflows/watch.yml#L1-L6
I think it might make sense to shift the watcher some 5 hours back to run closely after a new pyright release has been made.
It seems
pyrightis published between 3 and 5 am (GMT+1, I believe), which should be 2-4 am GMT: https://www.npmjs.com/package/pyright?activeTab=versionsHowever, the
pyright-pythonwatcher runs at midnight (in what seems to be GMT).https://github.com/RobertCraigie/pyright-python/blob/21f3e760e17ac8b7b0aa36a36960a9d99e194ab4/.github/workflows/watch.yml#L1-L6
I think it might make sense to shift the watcher some 5 hours back to run closely after a new
pyrightrelease has been made.