fz0x1/HPI
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

general/ci: clean up mypy-misc pipeline, only exclude specific files instead

Browse source 
marked some module configs which aren't really ready for public use as type: ignore
This commit is contained in:
Dima Gerasimov 2023-02-20 23:40:13 +00:00 • committed by karlicoss
parent eff9c02886
commit c63177e186
15 changed files with 132 additions and 64 deletions
Download patch file Download diff file Expand all files Collapse all files

4
my/coding/codeforces.py
View file

@ -1,11 +1,13 @@
#!/usr/bin/env python3
from my.config import codeforces as config
from my.config import codeforces as config # type: ignore[attr-defined]
from datetime import datetime, timezone
from typing import NamedTuple
import json
from typing import Dict, Iterator
from ..core import get_files, Res, unwrap
from ..core.compat import cached_property
from ..core.konsume import ignore, wrap

4
my/coding/topcoder.py
View file

@ -1,11 +1,13 @@
#!/usr/bin/env python3
from my.config import topcoder as config
from my.config import topcoder as config # type: ignore[attr-defined]
from datetime import datetime
from typing import NamedTuple
import json
from typing import Dict, Iterator
from ..core import get_files, Res, unwrap, Json
from ..core.compat import cached_property
from ..core.error import Res, unwrap