Skip to content

Commit

Permalink
fix linting. remove py3.9 from github ci
Browse files Browse the repository at this point in the history
  • Loading branch information
nrueh committed Dec 20, 2024
1 parent 21b473a commit 04773f0
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 2 deletions.
2 changes: 1 addition & 1 deletion noxfile.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
EDITABLE_TESTS = True
PYTHON_VERSIONS = ["3.12"]
if "GITHUB_ACTIONS" in os.environ:
PYTHON_VERSIONS = ["3.9", "3.11"]
PYTHON_VERSIONS = ["3.11"]
EDITABLE_TESTS = False


Expand Down
2 changes: 1 addition & 1 deletion tests/__init__.py
Original file line number Diff line number Diff line change
Expand Up @@ -58,7 +58,7 @@ def run_test(
ctl_args (Optional[List[str]], optional): List of arguments for clingo.Control. Defaults to [].
"""
solver = kwargs.get("solver", "clingo")
is_preprocess = True if solver == "preprocess" else False
is_preprocess = solver == "preprocess"
options = {
"solver": solver,
"output_format": kwargs.get("output_format", "asp"),
Expand Down
1 change: 1 addition & 0 deletions tests/clintests/tests_preprocess.py
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@
All tests run with clingo.
"""

# pylint: disable=line-too-long
from typing import Any

from . import SingleModelEquals
Expand Down

0 comments on commit 04773f0

Please sign in to comment.