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 e569b42..b821e82 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -56,7 +56,7 @@
- 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 d8d033a..5502952 100644
--- a/src/version.c
+++ b/src/version.c
@@ -756,6 +756,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 3034,
+/**/
3033,
/**/
3032,