You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Just a heads up that the main branch (which you recommend installing from, in the README) is currently broken because the gear file is missing from typing import Optional (at commit 522732a).
It's been like that, unnoticed, for at least two days.
It would be nice if those sorts of issues were caught with standard checks on this repo. Would you be open to me submitting a PR which adds a standard linting and/or type check in a GitHub Action?
The text was updated successfully, but these errors were encountered:
Just a heads up that the main branch (which you recommend installing from, in the README) is currently broken because the gear file is missing
from typing import Optional
(at commit 522732a).It's been like that, unnoticed, for at least two days.
It would be nice if those sorts of issues were caught with standard checks on this repo. Would you be open to me submitting a PR which adds a standard linting and/or type check in a GitHub Action?
The text was updated successfully, but these errors were encountered: