fix: See if we can squeeze out some more room

.github/workflows/pre-commit.yml

@@ -75,10 +75,28 @@ jobs:
       # https://github.com/orgs/community/discussions/25678#discussioncomment-5242449
       - name: Delete huge unnecessary tools folder
         run: |
+          df -h
           rm -rf /opt/hostedtoolcache/CodeQL
           rm -rf /opt/hostedtoolcache/Java_Temurin-Hotspot_jdk
           rm -rf /opt/hostedtoolcache/Ruby
           rm -rf /opt/hostedtoolcache/go
+          # And a little bit more
+          sudo -q apt-get remove -y 'azure-.*'
+          sudo -q apt-get remove -y 'cpp-.*'
+          sudo -q apt-get remove -y 'dotnet-runtime-.*'
+          sudo -q apt-get remove -y 'gcc-.*'
+          sudo -q apt-get remove -y 'google-.*'
+          sudo -q apt-get remove -y 'libclang-.*'
+          sudo -q apt-get remove -y 'libllvm.*'
+          sudo -q apt-get remove -y 'llvm-.*'
+          sudo -q apt-get remove -y 'mysql-.*'
+          sudo -q apt-get remove -y 'postgresql-.*'
+          sudo -q apt-get remove -y 'php.*'
+          sudo -q apt-get remove -y 'temurin-.*'
+          sudo -q apt-get remove -y kubectl firefox powershell mono-devel
+          sudo -q apt-get autoremove -y
+          sudo -q apt-get clean
+          df -h
 
       - name: Checkout
         uses: actions/checkout@v4