aboutsummaryrefslogtreecommitdiffstats
path: root/ansible/roles/install-coverity
AgeCommit message (Expand)AuthorFilesLines
2020-02-08coverity: Our coverity job needs curl; install itHarald Welte1-0/+6
2020-02-08upgrade coverity to 2019.03Harald Welte1-1/+1
2019-11-27ansible: Fix several file permission mask formatPau Espin Pedrol1-2/+1
2018-03-16add ansible playbooksAlexander Couzens3-0/+47