summaryrefslogtreecommitdiffstats
path: root/.github/workflows/coverity.yml
AgeCommit message (Expand)Author
2024-05-22CI: disable -O2 for Coverity after v9.1.0429Christian Brabandt
2023-09-11CI: Bump actions/checkout from 3 to 4 (#13072)dependabot[bot]
2023-08-29patch 9.0.1819: Github CI too complexv9.0.1819ichizok
2023-04-21patch 9.0.1474: CI runs with old version of Ubuntu and toolsv9.0.1474Philip H
2022-11-25patch 9.0.0946: CI: Error in Coverity flow is not reportedv9.0.0946K.Takata
2022-11-24patch 9.0.0937: forked repositories send out useless emailv9.0.0937shane.xb.qian
2022-09-26patch 9.0.0593: CI actions have too many permissionsv9.0.0593Alex
2022-08-28patch 9.0.0302: CI for Coverity is bothered by deprecation warningsv9.0.0302Philip H
2022-08-26patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04v9.0.0277Philip H
2022-08-25patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04v9.0.0267Philip H
2022-06-01patch 8.2.5052: CI checkout step title is a bit crypticv8.2.5052Philip H
2022-05-20patch 8.2.4986: some github actions are outdatedv8.2.4986Philip H
2021-08-09patch 8.2.3319: Coverity action on github does not workv8.2.3319James McCoy
2021-08-07patch 8.2.3302: Coverity is not run from githubv8.2.3302Bram Moolenaar
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-28 07:30:21 +0000