Commit graph

4 commits

Author SHA1 Message Date
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