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 |
|