diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-10-10 11:53:25 +0200 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2022-10-10 15:29:24 +0200 |
| commit | 70630a40b54218ab8f8fd7a5e2dfb424d3dec378 (patch) | |
| tree | cded6f58e9022c137f491d34123191c68836c47d /.github | |
| parent | 3624e37c847f6b4d45ad1abd6437c6e7cdb28dcd (diff) | |
fix(web/runner): Increase default job timeout
This change fixes an issue with the OpenDC web runner where the default
job timeout was set to 10 ms instead of 10 minutes. For longer
simulations, this would cause the job to be terminated.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions