]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove hhvm 18047/head
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 29 Jan 2025 14:45:58 +0000 (09:45 -0500)
committerDaniel Arndt <arndtd@ornl.gov>
Wed, 29 Jan 2025 14:45:58 +0000 (09:45 -0500)
.github/workflows/linux.yml

index 259c15afe0a0d4f845ace7a92e7275e6e6033c08..063f8407b386ab1aeec752f6a281dfc118e25945 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.