Age | Commit message (Expand) | Author |
---|---|---|
2022-11-25 | patch 9.0.0946: CI: Error in Coverity flow is not reportedv9.0.0946 | K.Takata |
2022-11-24 | patch 9.0.0937: forked repositories send out useless emailv9.0.0937 | shane.xb.qian |
2022-09-26 | patch 9.0.0593: CI actions have too many permissionsv9.0.0593 | Alex |
2022-08-28 | patch 9.0.0302: CI for Coverity is bothered by deprecation warningsv9.0.0302 | Philip H |
2022-08-26 | patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04v9.0.0277 | Philip H |
2022-08-25 | patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04v9.0.0267 | Philip H |
2022-06-01 | patch 8.2.5052: CI checkout step title is a bit crypticv8.2.5052 | Philip H |
2022-05-20 | patch 8.2.4986: some github actions are outdatedv8.2.4986 | Philip H |
2021-08-09 | patch 8.2.3319: Coverity action on github does not workv8.2.3319 | James McCoy |
2021-08-07 | patch 8.2.3302: Coverity is not run from githubv8.2.3302 | Bram Moolenaar |