1. 8167799 CI: coverity.yml: remove python2-dev pkg and retire --enable-pythoninterp by Philip H. · 5 months ago
  2. ded2b41 CI: update coverity runner to Ubuntu 24.04 by Philip H. · 5 months ago
  3. 95ff39f CI: disable -O2 for Coverity after v9.1.0429 by Christian Brabandt · 1 year, 4 months ago
  4. 213c323 CI: Bump actions/checkout from 3 to 4 (#13072) by dependabot[bot] · 2 years ago
  5. 3e1e63d patch 9.0.1819: Github CI too complex by ichizok · 2 years ago
  6. 9be736f patch 9.0.1474: CI runs with old version of Ubuntu and tools by Philip H · 2 years, 5 months ago
  7. ad85af5 patch 9.0.0946: CI: Error in Coverity flow is not reported by K.Takata · 2 years, 10 months ago
  8. e2da598 patch 9.0.0937: forked repositories send out useless email by shane.xb.qian · 2 years, 10 months ago
  9. 311df6b patch 9.0.0593: CI actions have too many permissions by Alex · 3 years ago
  10. 75e9a66 patch 9.0.0302: CI for Coverity is bothered by deprecation warnings by Philip H · 3 years ago
  11. c361842 patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04 by Philip H · 3 years ago
  12. 930830a patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04 by Philip H · 3 years ago
  13. bfaa24f patch 8.2.5052: CI checkout step title is a bit cryptic by Philip H · 3 years, 3 months ago
  14. 8a83ffd patch 8.2.4986: some github actions are outdated by Philip H · 3 years, 4 months ago
  15. eed9616 patch 8.2.3319: Coverity action on github does not work by James McCoy · 4 years, 1 month ago
  16. d57a6bd patch 8.2.3302: Coverity is not run from github by Bram Moolenaar · 4 years, 1 month ago