fix types
This commit is contained in:
parent
99544905df
commit
60e5aabd99
2 changed files with 2 additions and 0 deletions
|
|
@ -16,6 +16,7 @@ local actions = constants.ACTIONS
|
|||
---@field platform? string
|
||||
---@field problem_id? string
|
||||
---@field interactor_cmd? string
|
||||
---@field test_index? integer
|
||||
|
||||
--- Turn raw args into normalized structure to later dispatch
|
||||
---@param args string[] The raw command-line mode args
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue