commit 930830a68b6eb7ca630956330b48996e3ef8518f
author Philip H <47042125+pheiduck@users.noreply.github.com> Thu Aug 25 16:24:56 2022 +0100
committer Bram Moolenaar <Bram@vim.org> Thu Aug 25 16:24:56 2022 +0100
tree 3786b2ff512de396f0857a3d489bae2d13d02de2
parent 340dafd155222ac96304107542344faf3c56e12b

patch 9.0.0267: Coverity workflow still uses Ubuntu 18.04

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

.github/workflows/coverity.yml

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index a58a20b..566ab5b 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -6,7 +6,7 @@
 
 jobs:
   scan:
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
 
     env:
       CC: gcc

src/version.c

diff --git a/src/version.c b/src/version.c
index 50294f8..b5cdfdf 100644
--- a/src/version.c
+++ b/src/version.c
@@ -728,6 +728,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    267,
+/**/
     266,
 /**/
     265,