diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2023-06-05 11:58:37 +0200 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2023-06-05 11:58:37 +0200 |
| commit | 638dcb78ce827d2afb7ae42a1e6b2cc6741bc660 (patch) | |
| tree | 9d20f07d98da7b14e2ecdd1d1954179cbffd0150 /UNI/run-paper-weak.sh | |
| parent | 9f4d911c51ef0f8ea59f67b9d34dd49a5abed4b8 (diff) | |
TS: increase timeout and decrease repetations
Diffstat (limited to 'UNI/run-paper-weak.sh')
0 files changed, 0 insertions, 0 deletions