Fancy constraints for qssa #27
Annotations
10 errors and 1 warning
|
inconspiquous/alloc.py#L4
"WithRangeType" is unknown import symbol (reportGeneralTypeIssues)
|
|
inconspiquous/alloc.py#L4
Type of "WithRangeType" is unknown (reportUnknownVariableType)
|
|
inconspiquous/alloc.py#L7
Base class type is unknown, obscuring type of derived class (reportUntypedBaseClass)
|
|
inconspiquous/gates.py#L12
"RangeVarConstraint" is unknown import symbol (reportGeneralTypeIssues)
|
|
inconspiquous/gates.py#L12
Type of "RangeVarConstraint" is unknown (reportUnknownVariableType)
|
|
inconspiquous/gates.py#L56
Type of parameter "range_constraint" is partially unknown
Parameter type is "str | Unknown" (reportUnknownParameterType)
|
|
inconspiquous/gates.py#L62
Type of "name" is unknown (reportUnknownMemberType)
|
|
inconspiquous/gates.py#L66
Cannot access member "range_variables" for type "ConstraintContext"
Member "range_variables" is unknown (reportGeneralTypeIssues)
|
|
inconspiquous/gates.py#L66
Type of "range_variables" is unknown (reportUnknownMemberType)
|
|
inconspiquous/gates.py#L67
Cannot access member "get_range_variable" for type "ConstraintContext"
Member "get_range_variable" is unknown (reportGeneralTypeIssues)
|
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4, jakebailey/pyright-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
The logs for this run have expired and are no longer available.
Loading