Skip to content

Switch CI type checking from mypy to Pyrefly - #4500

Merged
garth-wells merged 27 commits into
mainfrom
ci/pyrefly-typechecking
Sep 14, 2026
Merged

garth-wells merged 27 commits into
mainfrom
ci/pyrefly-typechecking

Fix Pyrefly failures from the main merge

47d798d
Select commit
Loading
Failed to load commit list.
SonarQubeCloud / SonarCloud Code Analysis succeeded Sep 14, 2026 in 46s

Annotations

Check warning on line 467 in python/demo/demo_matrix-free-petsc.py

See this annotation in the file changed.

@sonarqubecloud sonarqubecloud / SonarCloud Code Analysis

Rename this local variable "L_blocks" to match the regular expression ^[_a-z][a-z0-9_]*$.

See more on https://sonarcloud.io/project/issues?id=FEniCS_dolfinx&issues=AaCegPxfcUL2sGErlUEk&open=AaCegPxfcUL2sGErlUEk&pullRequest=4500

Check warning on line 147 in python/dolfinx/fem/petsc.py

See this annotation in the file changed.

@sonarqubecloud sonarqubecloud / SonarCloud Code Analysis

Rename this parameter "L" to match the regular expression ^[_a-z][a-z0-9_]*$.

See more on https://sonarcloud.io/project/issues?id=FEniCS_dolfinx&issues=AaCcN9xhyyKf7W-f5O-s&open=AaCcN9xhyyKf7W-f5O-s&pullRequest=4500

Check warning on line 878 in python/dolfinx/fem/petsc.py

See this annotation in the file changed.

@sonarqubecloud sonarqubecloud / SonarCloud Code Analysis

Rename this parameter "P" to match the regular expression ^[_a-z][a-z0-9_]*$.

See more on https://sonarcloud.io/project/issues?id=FEniCS_dolfinx&issues=AaCcN9xhyyKf7W-f5O-t&open=AaCcN9xhyyKf7W-f5O-t&pullRequest=4500

Check warning on line 893 in python/dolfinx/fem/petsc.py

See this annotation in the file changed.

@sonarqubecloud sonarqubecloud / SonarCloud Code Analysis

Rename this parameter "P" to match the regular expression ^[_a-z][a-z0-9_]*$.

See more on https://sonarcloud.io/project/issues?id=FEniCS_dolfinx&issues=AaCcN9xhyyKf7W-f5O-u&open=AaCcN9xhyyKf7W-f5O-u&pullRequest=4500

Check warning on line 468 in python/demo/demo_matrix-free-petsc.py

See this annotation in the file changed.

@sonarqubecloud sonarqubecloud / SonarCloud Code Analysis

Rename this local variable "L_compiled" to match the regular expression ^[_a-z][a-z0-9_]*$.

See more on https://sonarcloud.io/project/issues?id=FEniCS_dolfinx&issues=AaCegPxfcUL2sGErlUEl&open=AaCegPxfcUL2sGErlUEl&pullRequest=4500