The following issues were found
ci/__main__.py
2 issues
Line: 1
Column: 1
from .main import main
main()
Reported by Pylint.
Line: 1
Column: 1
from .main import main
main()
Reported by Pylint.
coq/ci/__main__.py
2 issues
Line: 3
Column: 1
from asyncio import run
from .main import main
run(main())
Reported by Pylint.
Line: 1
Column: 1
from asyncio import run
from .main import main
run(main())
Reported by Pylint.
tests/__main__.py
2 issues
Line: 1
Column: 1
from argparse import ArgumentParser, Namespace
from pathlib import Path
from unittest import defaultTestLoader
from unittest.runner import TextTestRunner
from unittest.signals import installHandler
_TESTS = Path(__file__).resolve().parent
_TOP_LV = _TESTS.parent
Reported by Pylint.
Line: 20
Column: 1
return parser.parse_args()
def main() -> None:
args = _parse_args()
suite = defaultTestLoader.discover(
str(_TESTS), top_level_dir=str(_TOP_LV.parent), pattern=args.pattern
)
runner = TextTestRunner(
Reported by Pylint.
coq/shared/context.py
2 issues
Line: 4
Column: 1
from pathlib import PurePath
from uuid import uuid4
from .types import Context
EMPTY_CONTEXT = Context(
manual=True,
change_id=uuid4(),
commit_id=uuid4(),
Reported by Pylint.
Line: 1
Column: 1
from pathlib import PurePath
from uuid import uuid4
from .types import Context
EMPTY_CONTEXT = Context(
manual=True,
change_id=uuid4(),
commit_id=uuid4(),
Reported by Pylint.
coq/databases/tmux/sql/__init__.py
2 issues
Line: 3
Column: 1
from pathlib import Path
from ....shared.sql import loader
sql = loader(Path(__file__).resolve().parent)
Reported by Pylint.
Line: 1
Column: 1
from pathlib import Path
from ....shared.sql import loader
sql = loader(Path(__file__).resolve().parent)
Reported by Pylint.
coq/ci/types.py
2 issues
Line: 1
Column: 1
from dataclasses import dataclass
from pathlib import Path
from typing import AbstractSet
@dataclass
class _CompilationPaths:
lsp: AbstractSet[Path]
neosnippet: AbstractSet[Path]
Reported by Pylint.
Line: 14
Column: 1
@dataclass(frozen=True)
class Compilation:
git: AbstractSet[str]
paths: _CompilationPaths
Reported by Pylint.
coq/databases/tags/sql/create/pragma.sql
2 issues
Line: 1
Column: 1
PRAGMA foreign_keys = ON;
PRAGMA journal_mode=WAL;
Reported by SQLint.
Line: 2
Column: 1
PRAGMA foreign_keys = ON;
PRAGMA journal_mode=WAL;
Reported by SQLint.
coq/snippets/__main__.py
2 issues
Line: 1
Column: 1
from .main import main
main()
Reported by Pylint.
Line: 1
Column: 1
from .main import main
main()
Reported by Pylint.
coq/tags/types.py
2 issues
Line: 1
Column: 1
from typing import Mapping, Optional, Sequence, Tuple, TypedDict
class Tag(TypedDict):
language: str
path: str
line: int
Reported by Pylint.
Line: 4
Column: 1
from typing import Mapping, Optional, Sequence, Tuple, TypedDict
class Tag(TypedDict):
language: str
path: str
line: int
Reported by Pylint.
coq/databases/tmux/sql/create/pragma.sql
1 issues
Line: 1
Column: 1
PRAGMA foreign_keys = ON;
Reported by SQLint.