fix ci
This commit is contained in:
parent
9ffc285e16
commit
82021e3d97
2 changed files with 10 additions and 9 deletions
|
|
@ -17,6 +17,7 @@ local actions = constants.ACTIONS
|
|||
---@field problem_id? string
|
||||
---@field interactor_cmd? string
|
||||
---@field test_index? integer
|
||||
---@field debug? boolean
|
||||
|
||||
--- 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