From: Philip H <47042125+pheiduck@users.noreply.github.com>
Date: Thu, 25 Aug 2022 15:24:56 +0000 (+0100)
Subject: patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04
X-Git-Tag: v9.0.0267
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=930830a68b6eb7ca630956330b48996e3ef8518f;p=vim

patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04

Problem:    Coverity workflow still uses Ubuntu 18.04.
Solution:   Use Ubuntu 20.04
---

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index a58a20b61..566ab5b2f 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -6,7 +6,7 @@ on:
 
 jobs:
   scan:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
 
     env:
       CC: gcc
diff --git a/src/version.c b/src/version.c
index 50294f852..b5cdfdf78 100644
--- a/src/version.c
+++ b/src/version.c
@@ -727,6 +727,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    267,
 /**/
     266,
 /**/