Age | Commit message (Expand) | Author |
---|---|---|
2020-02-10 | build-system/coverity: it seems silly to need both wget and curl | Dirk Hohndel |
2020-02-05 | GitHub Actions: convert Coverity build to using container as well | Dirk Hohndel |
2019-10-23 | GitHub Actions: Add automatic coverity scan | Anton Lundin |