diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-11-12 19:04:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-12 19:04:32 +0100 |
| commit | 12f6bcbf650cc475498f990bfb0c98a6f6406eb2 (patch) | |
| tree | 9ad36009a1ec4dc0000ad6a39ebc80d2df8ac441 /traces | |
| parent | d504a39748d985d4c50146dcf84f3b38f0ca0987 (diff) | |
| parent | 53e2a7194922b670929325384288a70856a8c346 (diff) | |
Merge pull request #64 from atlarge-research/bug/sim-timeout
Add timeout for experiments run by web runner
Diffstat (limited to 'traces')
0 files changed, 0 insertions, 0 deletions