CI - Pyright

Remove unused function #872

Sign in to view logs

Triggered via push January 13, 2026 14:23

math-fehr

main

Status Failure

Total duration 32s

Artifacts –

ci-pyright.yml

on: push

Matrix: build

Annotations

6 errors

build (3.10)

5 errors

build (3.10): xdsl_smt/cli/superoptimize.py#L18

Import "hw" is not accessed (reportUnusedImport)

build (3.10): xdsl_smt/cli/superoptimize.py#L17

Import "IntegerType" is not accessed (reportUnusedImport)

build (3.10): xdsl_smt/cli/superoptimize.py#L17

Import "IntegerAttr" is not accessed (reportUnusedImport)

build (3.10): xdsl_smt/cli/superoptimize.py#L16

Import "synth" is not accessed (reportUnusedImport)

build (3.10): xdsl_smt/cli/superoptimize.py#L12

Import "Rewriter" is not accessed (reportUnusedImport)