Two visualizers #152
Annotations
10 errors and 2 warnings
|
jani_generator/src/jani_generator/jani_entries/jani_property.py#L132
Value expression in dictionary comprehension has incompatible type "Union[str, int, float, Dict[Any, Any]]"; expected type "str" [misc]
|
|
jani_generator/src/jani_generator/jani_entries/jani_expression.py#L60
Parameterized generics cannot be used with class or instance checks [misc]
|
|
jani_generator/src/jani_generator/jani_entries/jani_expression.py#L60
Argument 2 to "isinstance" has incompatible type "object"; expected "Union[type, UnionType, Tuple[Union[type, UnionType, Tuple[Any, ...]], ...]]" [arg-type]
|
|
jani_generator/src/jani_generator/jani_entries/jani_expression.py#L196
Incompatible return value type (got "Union[Dict[Any, Any], int, float, List[Any]]", expected "Union[str, int, float, bool, Dict[Any, Any]]") [return-value]
|
|
jani_generator/src/jani_generator/jani_entries/jani_convince_expression_expansion.py#L210
Unsupported operand types for % ("int" and "None") [operator]
|
|
jani_generator/src/jani_generator/jani_entries/jani_convince_expression_expansion.py#L211
Unsupported operand types for % ("int" and "None") [operator]
|
|
jani_generator/src/jani_generator/jani_entries/jani_constant.py#L63
Item "None" of "Optional[JaniValue]" has no attribute "is_valid" [union-attr]
|
|
jani_generator/src/jani_generator/jani_entries/jani_constant.py#L65
Item "None" of "Optional[JaniValue]" has no attribute "value" [union-attr]
|
|
jani_generator/src/jani_generator/jani_entries/jani_utils.py#L58
Item "None" of "Optional[JaniVariable]" has no attribute "get_type" [union-attr]
|
|
jani_generator/src/jani_generator/jani_entries/jani_utils.py#L62
Item "None" of "Optional[JaniVariable]" has no attribute "get_init_expr" [union-attr]
|
|
The following actions uses node12 which is deprecated and will be forced to run on node16: szenius/[email protected], actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
The following actions use a deprecated Node.js version and will be forced to run on node20: szenius/[email protected], actions/checkout@v3, actions/checkout@v2, actions/setup-python@v4. 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