Skip to content
Linting

Optimize NurikabeSolver #112

Sign in to view logs

Optimize NurikabeSolver

Optimize NurikabeSolver #112

Triggered via pull request December 25, 2025 22:13
@newtomsoftnewtomsoft
synchronize #67
optimize-nurikabe-solver-14517046573374642482
Status Success
Total duration 12s
Artifacts –

lint.yml

on: pull_request
Ruff Linting
8s
Ruff Linting
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Ruff (F401): Domain/Puzzles/KenKen/tests/KenKenSolver_test.py#L5
Domain/Puzzles/KenKen/tests/KenKenSolver_test.py:5:35: F401 `Domain.Board.Position.Position` imported but unused
Ruff (F841): Domain/Puzzles/KenKen/tests/KenKenSolverOrTools_test.py#L48
Domain/Puzzles/KenKen/tests/KenKenSolverOrTools_test.py:48:9: F841 Local variable `expected_solution` is assigned to but never used
Ruff (F401): Domain/Puzzles/Kakurasu/KakurasuSolver.py#L6
Domain/Puzzles/Kakurasu/KakurasuSolver.py:6:35: F401 `Domain.Board.Position.Position` imported but unused
Ruff (F401): Domain/Puzzles/Kakurasu/KakurasuSolver.py#L1
Domain/Puzzles/Kakurasu/KakurasuSolver.py:1:20: F401 `typing.Any` imported but unused
Ruff (F401): Domain/Puzzles/Gyokuseki/GyokusekiSolver.py#L1
Domain/Puzzles/Gyokuseki/GyokusekiSolver.py:1:50: F401 `z3.Distinct` imported but unused
Ruff (F401): Domain/Puzzles/Gappy/GappySolver.py#L1
Domain/Puzzles/Gappy/GappySolver.py:1:72: F401 `z3.If` imported but unused
Ruff (F401): Domain/Puzzles/Gappy/GappySolver.py#L1
Domain/Puzzles/Gappy/GappySolver.py:1:67: F401 `z3.Xor` imported but unused
Ruff (E741): Domain/Puzzles/EverySecondTurn/EverySecondTurnSolver.py#L186
Domain/Puzzles/EverySecondTurn/EverySecondTurnSolver.py:186:44: E741 Ambiguous variable name: `l`
Ruff (E741): Domain/Puzzles/Detour/tests/DetourSolver_test.py#L20
Domain/Puzzles/Detour/tests/DetourSolver_test.py:20:1: E741 Ambiguous variable name: `l`
Ruff (E741): Domain/Puzzles/BorderBlock/tests/BorderBlockSolver_test.py#L18
Domain/Puzzles/BorderBlock/tests/BorderBlockSolver_test.py:18:1: E741 Ambiguous variable name: `I`