 Julius Pfrommer
|
7af6a8fa85
fix checking for todays coverity
|
9 years ago |
|
Julius Pfrommer
|
2bc8be669c
check if there was a successful push to coverity today
|
9 years ago |
 Stasik0
|
8046001cac
a better way to count commits
|
10 years ago |
|
Julius Pfrommer
|
55df06aedc
enable coverity for manual travis build triggering
|
10 years ago |
|
Stasik0
|
55f47fbfed
reverted the coverity_scan update policy
|
10 years ago |
|
Stasik0
|
ba50442c5f
automatically rebasing coverity scan_branch to one single commit
|
10 years ago |
|
Julius Pfrommer
|
989d4c76f8
move coverity script to tools
|
10 years ago |
