5 commits

Author	SHA1	Message	Date
Philippe Teuwen	ead825720d	covsubmit: avoid aborting when previous data are not present	2019-11-17 11:45:20 +01:00
Philippe Teuwen	d43460ab9f	cov submit: delete old logs	2019-10-10 00:30:14 +02:00
Philippe Teuwen	020141726e	cov: use incremental pseudoversion	2019-10-09 17:53:45 +02:00
Philippe Teuwen	2b42e79a2f	cov: add git ref	2019-10-09 16:54:09 +02:00
Philippe Teuwen	89dd574f53	new coverity scripts	2019-10-09 15:29:48 +02:00