Problem: No status badge for Github CI.
Solution: Add a badge.
[](https://travis-ci.org/vim/vim)
[](https://ci.appveyor.com/project/chrisbra/vim)
+
[](https://cirrus-ci.com/github/vim/vim)
[](https://codecov.io/gh/vim/vim?branch=master)
[](https://scan.coverity.com/projects/vim)
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 1318,
/**/
1317,
/**/