patch 8.2.3034: installing packages on github CI sometimes fails

Problem:    Installing packages on github CI sometimes fails.
Solution:   Update package information first. (Christian Brabandt,
            closes #8432)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e569b42397f3e15c5f69b7a2313808a8be096678..b821e822b14fe2b34109aec55a135aba158cc2c8 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -56,7 +56,7 @@ jobs:
 
       - name: Install packages
         run: |
-          sudo apt-get install -y \
+          sudo apt update && sudo apt install -y \
             autoconf \
             lcov \
             gettext \

diff --git a/src/version.c b/src/version.c
index d8d033a2e0a6d5af4014f616ebbaaa2f39ff2eb4..5502952b7af539a1c596fafccbc5f913398c1d66 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -755,6 +755,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    3034,
 /**/
     3033,
 /**/