Finish rebranding #10

Merged
alexvanin merged 1 commit from :fix/rebranding into master 2023-07-26 21:07:55 +00:00

View file

@ -4,7 +4,7 @@
# options for analysis running
run:
# timeout for analysis, e.g. 30s, 5m, default is 1m
timeout: 5m
timeout: 15m
# include test files or not, default is true
tests: true