Skip to content
CI - Pyright

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

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 #442

Triggered via pull request November 19, 2024 20:56
@HatsunespicaHatsunespica
synchronize #41
merge_backwards
Status Failure
Total duration 29s
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

8 errors and 1 warning
build (3.10): xdsl_smt/utils/transfer_function_check_util.py#L241
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_check_util.py#L242
Argument of type "AnyPairType" cannot be assigned to parameter "abs_val_ty" of type "AnyPairType" in function "replaceAbstractValueWidth"   "build.lib.xdsl_smt.dialects.smt_utils_dialect.PairType" is incompatible with "xdsl_smt.dialects.smt_utils_dialect.PairType" (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#L20
Import "TypeAttribute" is not accessed (reportUnusedImport)
build (3.10)
7 errors
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/