Making it compatible for Py3.9 again because streamlit runs on that.

d-krupke · Sep 5, 2024 · bfe6e6d · bfe6e6d
1 parent 97306b2
commit bfe6e6d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/pytest.yml b/.github/workflows/pytest.yml
@@ -7,7 +7,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        python-version: ["3.10", "3.12"]
+        python-version: ["3.9", "3.12"]
 
     steps:
       - uses: actions/checkout@v3

diff --git a/cpsat_log_parser/blocks/solver.py b/cpsat_log_parser/blocks/solver.py
@@ -29,7 +29,7 @@ def _convert_value(value):
         return value  # If it cannot be converted to a number, keep as is
 
 
-def _parse_block(tokens) -> dict:
+def _parse_block(tokens) -> typing.Dict:
     block_dict = {}
     while tokens:
         key = tokens.pop(0).strip()
@@ -49,7 +49,7 @@ def _parse_block(tokens) -> dict:
             block_dict[key] = value
     return block_dict
 
-def parse_parameters_line(line: str) -> dict[str, str|int|float|bool|list|dict]:
+def parse_parameters_line(line: str) -> typing.Dict:
     """Parse the 'Parameters: ' line and return a dictionary of parameters."""
     if not line.startswith('Parameters: '):
         raise ValueError('The line must begin with "Parameters: "')