diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-08 17:01:40 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-02-08 17:14:01 +0200 |
| commit | 9de4a1ee520063025a9b2cd592a364e28cdd24dc (patch) | |
| tree | a17431d0379f61e214c000d7e4b696dc71102f92 | |
| parent | 441a72c04cfc61dfead5cad37202a1da87a44499 (diff) | |
| -rw-r--r-- | index.ts | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -9,6 +9,8 @@ export namespace RunnerApi { export namespace SubmitResponse { export interface Body { result: string + executionTime: number // time running the interpreter + apiTime: number // time doing file IO + executionTime } } } |
