Skip to content
CI - Pyright

This PR add forwards and backwards soundness checks for transfer dialect #441

Sign in to view logs

This PR add forwards and backwards soundness checks for transfer dialect

This PR add forwards and backwards soundness checks for transfer dialect #441

Triggered via pull request November 19, 2024 20:42
@HatsunespicaHatsunespica
synchronize #41
merge_backwards
Status Failure
Total duration 40s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-pyright.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 errors and 1 warning
build (3.10): xdsl_smt/utils/transfer_function_check_util.py#L240
Argument of type "Attribute" cannot be assigned to parameter "abs_val_ty" of type "AnyPairType" in function "replaceAbstractValueWidth"   "Attribute" is incompatible with "AnyPairType" (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L98
Argument of type "Attribute" cannot be assigned to parameter "ty" of type "TypeAttribute" in function "getWdithFromType"   "Attribute" is incompatible with "TypeAttribute" (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L112
Argument of type "Attribute" cannot be assigned to parameter "ty" of type "TypeAttribute" in function "getWdithFromType"   "Attribute" is incompatible with "TypeAttribute" (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L126
Expression of type "Attribute" cannot be assigned to declared type "TypeAttribute"   "Attribute" is incompatible with "TypeAttribute" (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L125
Second argument to "isinstance" must be a class or tuple of classes   TypeVar or generic type with type arguments not allowed (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L136
Expression of type "Attribute" cannot be assigned to declared type "AnyPairType"   "Attribute" is incompatible with "AnyPairType" (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L134
Second argument to "isinstance" must be a class or tuple of classes   TypeVar or generic type with type arguments not allowed (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L144
Second argument to "isinstance" must be a class or tuple of classes   TypeVar or generic type with type arguments not allowed (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L150
Argument of type "Attribute" cannot be assigned to parameter "ty" of type "TypeAttribute" in function "getWdithFromType"   "Attribute" is incompatible with "TypeAttribute" (reportGeneralTypeIssues)
build (3.10): xdsl_smt/utils/transfer_function_util.py#L154
Argument of type "Attribute" cannot be assigned to parameter "ty" of type "TypeAttribute" in function "getWdithFromType"   "Attribute" is incompatible with "TypeAttribute" (reportGeneralTypeIssues)
build (3.10)
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/