barrett/cp.nvim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 13

fix(ci): typing

Browse source
This commit is contained in:
Barrett Ruth 2025-09-21 00:15:23 -04:00
parent 9deedec15a
commit 7a027c7379
3 changed files with 11 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

5
lua/cp/init.lua
View file

@ -518,6 +518,7 @@ local function toggle_run_panel(is_debug)
update_diff_panes()
end
---@param delta number 1 for next, -1 for prev
local function navigate_test_case(delta)
local test_state = run.get_run_panel_state()
if #test_state.test_cases == 0 then
@ -597,7 +598,7 @@ local function toggle_run_panel(is_debug)
logger.log(string.format('test panel opened (%d test cases)', #test_state.test_cases))
end
---@param delta number 1 for next, -1 for prev
---@param contest_id string
---@param language? string
local function setup_contest(contest_id, language)
if not state.platform then
@ -655,6 +656,8 @@ local function setup_contest(contest_id, language)
return true
end
---@param delta number 1 for next, -1 for prev
---@param language? string
local function navigate_problem(delta, language)
if not state.platform or not state.contest_id then
logger.log('no contest set. run :CP <platform> <contest> first', vim.log.levels.ERROR)

2
scrapers/atcoder.py
View file

@ -247,7 +247,7 @@ def scrape_contests() -> list[ContestSummary]:
try:
name = name.encode().decode("unicode_escape")
except:
except (UnicodeDecodeError, UnicodeEncodeError):
pass
name = (

11
scrapers/cses.py
View file

@ -343,7 +343,7 @@ def main() -> None:
if len(sys.argv) < 2:
result = MetadataResult(
success=False,
error="Usage: cses.py metadata <category_id> OR cses.py tests <problem_id_or_url> OR cses.py contests",
error="Usage: cses.py metadata <category_id> OR cses.py tests <category> <problem_id> OR cses.py contests",
)
print(json.dumps(asdict(result)))
sys.exit(1)
@ -374,10 +374,10 @@ def main() -> None:
print(json.dumps(asdict(result)))
elif mode == "tests":
if len(sys.argv) != 3:
if len(sys.argv) != 4:
tests_result = TestsResult(
success=False,
error="Usage: cses.py tests <problem_id_or_url>",
error="Usage: cses.py tests <category> <problem_id>",
problem_id="",
url="",
tests=[],
@ -387,7 +387,8 @@ def main() -> None:
print(json.dumps(asdict(tests_result)))
sys.exit(1)
problem_input: str = sys.argv[2]
category: str = sys.argv[2]
problem_input: str = sys.argv[3]
url: str | None = parse_problem_url(problem_input)
if not url:
@ -475,7 +476,7 @@ def main() -> None:
else:
result = MetadataResult(
success=False,
error=f"Unknown mode: {mode}. Use 'metadata', 'tests', or 'contests'",
error=f"Unknown mode: {mode}. Use 'metadata <category>', 'tests <category> <problem_id>', or 'contests'",
)
print(json.dumps(asdict(result)))
sys.exit(1)