use newer ubuntu for old varnish

FriendsOfSymfony · Nov 30, 2023 · 2dc5521 · 2dc5521
1 parent b36a169
commit 2dc5521
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -95,7 +95,7 @@ jobs:
 
   varnish5:
     name: PHP ${{ matrix.php }} Legacy Varnish 5
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     env:
       VARNISH_VERSION: '5.1'
       VARNISH_MODULES_VERSION: '0.14.0'
@@ -132,7 +132,7 @@ jobs:
 
   varnish4:
     name: PHP ${{ matrix.php }} Legacy Varnish 4
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-20.04
     env:
       VARNISH_VERSION: '4.1'
       VARNISH_MODULES_VERSION: '' # varnish modules compilation fails, not sure why

diff --git a/.github/workflows/setup-varnish-legacy.sh b/.github/workflows/setup-varnish-legacy.sh
@@ -2,6 +2,8 @@
 
 set -e
 echo "### Installing Legacy Varnish $VARNISH_VERSION ###"
+curl -A "FOS Github" -o /tmp/libjemalloc1_3.6.0-11_amd64.deb -D - -L -s http://ftp.osuosl.org/pub/ubuntu/pool/universe/j/jemalloc/libjemalloc1_3.6.0-11_amd64.deb
+sudo dpkg -i /tmp/libjemalloc1_3.6.0-11_amd64.deb
 sudo apt-get update
 sudo apt-get install debian-archive-keyring curl gnupg apt-transport-https
 VARNISH_VERSION=$VARNISH_VERSION bash -c 'curl -s -L https://packagecloud.io/varnishcache/varnish${VARNISH_VERSION//./}/gpgkey' | sudo apt-key add -