From d0e7f46ec4cfc2fd83e04172a55376ece1f7d207 Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Sat, 1 May 2021 11:27:58 +0530
Subject: [PATCH] Add ppa:ondrej/php for all Ubuntu versions
 actions/virtual-environments#3272

---
 src/scripts/linux.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh
index aa0945fe..4c6395c5 100644
--- a/src/scripts/linux.sh
+++ b/src/scripts/linux.sh
@@ -37,7 +37,7 @@ add_ppa() {
 # Function to update the package lists.
 update_lists() {
   if [ ! -e /tmp/setup_php ]; then
-    [ "$DISTRIB_RELEASE" = "20.04" ] && add_ppa >/dev/null 2>&1
+    add_ppa >/dev/null 2>&1
     cleanup_lists
     sudo "$debconf_fix" apt-get update >/dev/null 2>&1
     echo '' | sudo tee /tmp/setup_php >/dev/null 2>&1