max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(tests/playground/temci): update temci settings

Browse source
This commit is contained in:
Sebastian Ullrich 2019-05-28 12:28:30 +02:00
parent af85733a6d
commit d15cc74c13
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
tests/playground/temci.yaml
View file

@ -240,7 +240,7 @@ run:
max_runs: 50
# Maximum time the whole benchmarking should take
max_time: 40s
max_time: 1000h
# Minimum number of benchmarking runs
min_runs: 20