summaryrefslogtreecommitdiff
path: root/ci/coverity.sh
Commit message (Expand)AuthorAgeFilesLines
* ci: stop using deprecated set-env in GitHub ActionsEdward Thomson2020-11-181-0/+62
* ci: ignore coverity failures in nightly runsEdward Thomson2019-01-281-65/+0
* ci: Correct the status code check so Coverity doesn't force-fail TravisEtienne Samson2018-08-141-1/+1
* ci: run coverity from travis's cronEdward Thomson2018-07-291-14/+11
* ci: move travis to the new scriptsEdward Thomson2018-07-281-0/+68