Refactoring

This commit is contained in:
Daniil Gentili 2023-05-01 19:25:16 +02:00
parent 9bd3f35cc7
commit 345adcf479
Signed by: danog
GPG key ID: 8C1BE3B34B230CA7
7 changed files with 51 additions and 28 deletions

View file

@ -1,7 +1,7 @@
# options for analysis running
run:
# timeout for analysis, e.g. 30s, 5m, default is 1m
timeout: 5m
timeout: 10m
# output configuration options
output: