K.Takata
|
ad85af5b38
|
patch 9.0.0946: CI: Error in Coverity flow is not reported
Problem: CI: Error in Coverity flow is not reported.
Solution: Use another way to avoid errors in a forked repository. (Ken
Takata, closes #11609)
|
2022-11-25 00:57:05 +00:00 |
|
shane.xb.qian
|
e2da59851a
|
patch 9.0.0937: forked repositories send out useless email
Problem: Forked repositories send out useless email.
Solution: When Coverity fails to run just ignore it. (Shane-XB-Qian,
closes #11604)
|
2022-11-24 12:01:45 +00:00 |
|
Alex
|
311df6bb0f
|
patch 9.0.0593: CI actions have too many permissions
Problem: CI actions have too many permissions.
Solution: Restrict permissions to what is required. (closes #11223)
|
2022-09-26 15:52:46 +01:00 |
|
Philip H
|
75e9a6693e
|
patch 9.0.0302: CI for Coverity is bothered by deprecation warnings
Problem: CI for Coverity is bothered by deprecation warnings.
Solution: Ignore deprecation warnings. (closes #11002)
|
2022-08-28 17:59:05 +01:00 |
|
Philip H
|
c361842f14
|
patch 9.0.0277: Coverity CI: update-alternatives not needed with Ubuntu 20.04
Problem: Coverity CI: update-alternatives not needed with Ubuntu 20.04.
Solution: Remove update-alternatives for Lua. (closes #10987)
|
2022-08-26 15:48:55 +01:00 |
|
Philip H
|
930830a68b
|
patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04
Problem: Coverity workflow still uses Ubuntu 18.04.
Solution: Use Ubuntu 20.04
|
2022-08-25 16:24:56 +01:00 |
|
Philip H
|
bfaa24f953
|
patch 8.2.5052: CI checkout step title is a bit cryptic
Problem: CI checkout step title is a bit cryptic.
Solution: Add a better title. (closes #10509)
|
2022-06-01 21:26:34 +01:00 |
|
Philip H
|
8a83ffdc43
|
patch 8.2.4986: some github actions are outdated
Problem: Some github actions are outdated.
Solution: Update CodeQl to v2, update checkout to v3. (closes #10450)
|
2022-05-20 17:19:06 +01:00 |
|
James McCoy
|
eed9616120
|
patch 8.2.3319: Coverity action on github does not work
Problem: Coverity action on github does not work.
Solution: Remove undefined $SRCDIR. (James McCoy, closes #8739)
|
2021-08-09 13:20:38 +02:00 |
|
Bram Moolenaar
|
d57a6bd98c
|
patch 8.2.3302: Coverity is not run from github
Problem: Coverity is not run from github.
Solution: Add a coverity script. (James McCoy, closes #8714)
|
2021-08-07 12:32:20 +02:00 |
|