Skip to content

Commit ef7be83

Browse files
chrisbrabrammool
authored andcommitted
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)
1 parent 419a40a commit ef7be83

2 files changed

Lines changed: 3 additions & 1 deletion

File tree

.github/workflows/ci.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ jobs:
5656

5757
- name: Install packages
5858
run: |
59-
sudo apt-get install -y \
59+
sudo apt update && sudo apt install -y \
6060
autoconf \
6161
lcov \
6262
gettext \

src/version.c

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -755,6 +755,8 @@ static char *(features[]) =
755755

756756
static int included_patches[] =
757757
{ /* Add new patch number below this line */
758+
/**/
759+
3034,
758760
/**/
759761
3033,
760762
/**/

0 commit comments

Comments
 (0)