The following issues were found

ci/__main__.py
2 issues
Attempted relative import beyond top-level package
Error

Line: 1 Column: 1

              from .main import main

main()

            

Reported by Pylint.

Missing module docstring
Error

Line: 1 Column: 1

              from .main import main

main()

            

Reported by Pylint.

coq/ci/__main__.py
2 issues
Attempted relative import beyond top-level package
Error

Line: 3 Column: 1

              from asyncio import run

from .main import main

run(main())

            

Reported by Pylint.

Missing module docstring
Error

Line: 1 Column: 1

              from asyncio import run

from .main import main

run(main())

            

Reported by Pylint.

tests/__main__.py
2 issues
Missing module docstring
Error

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.

Missing function or method docstring
Error

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
Attempted relative import beyond top-level package
Error

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.

Missing module docstring
Error

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
Attempted relative import beyond top-level package
Error

Line: 3 Column: 1

              from pathlib import Path

from ....shared.sql import loader

sql = loader(Path(__file__).resolve().parent)

            

Reported by Pylint.

Missing module docstring
Error

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
Missing module docstring
Error

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.

Missing class docstring
Error

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
Syntax error at or near "pragma"
Syntax error

Line: 1 Column: 1

              PRAGMA foreign_keys = ON;
PRAGMA journal_mode=WAL;


            

Reported by SQLint.

Syntax error at or near "pragma"
Syntax error

Line: 2 Column: 1

              PRAGMA foreign_keys = ON;
PRAGMA journal_mode=WAL;


            

Reported by SQLint.

coq/snippets/__main__.py
2 issues
Attempted relative import beyond top-level package
Error

Line: 1 Column: 1

              from .main import main

main()

            

Reported by Pylint.

Missing module docstring
Error

Line: 1 Column: 1

              from .main import main

main()

            

Reported by Pylint.

coq/tags/types.py
2 issues
Missing module docstring
Error

Line: 1 Column: 1

              from typing import Mapping, Optional, Sequence, Tuple, TypedDict


class Tag(TypedDict):
    language: str

    path: str

    line: int

            

Reported by Pylint.

Missing class docstring
Error

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
Syntax error at or near "pragma"
Syntax error

Line: 1 Column: 1

              PRAGMA foreign_keys = ON;


            

Reported by SQLint.