From: Daniel Arndt Date: Wed, 29 Jan 2025 14:45:58 +0000 (-0500) Subject: Remove hhvm X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a6d87d73ab811fb45ce42fa6d452286978614661;p=dealii.git Remove hhvm --- diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 259c15afe0..063f8407b3 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -322,7 +322,7 @@ jobs: sudo apt-get remove -y '^dotnet-.*' sudo apt-get remove -y '^llvm-.*' sudo apt-get remove -y 'php.*' - sudo apt-get remove -y azure-cli google-cloud-sdk hhvm google-chrome-stable firefox powershell mono-devel + sudo apt-get remove -y azure-cli google-cloud-sdk google-chrome-stable firefox powershell mono-devel sudo apt-get autoremove -y sudo apt-get clean df -h