ci: use free-disk-space tool

.github/workflows/codeql.yml

@@ -61,26 +61,23 @@ jobs:
     - name: Checkout repository
       uses: actions/checkout@v4
 
-    - if: runner.os == 'Linux'
-      run: |
-        # This list is based on what the base image contains and
-        # may need to be adjusted as new software gets installed.
-        # Use the `du` command below to determine what can be
-        # uninstalled.
+
+    - name: Free Disk Space (Ubuntu)
+      if: runner.os == 'Linux'
+      uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be #v1.3.1
+      with:
+        # this might remove tools that are actually needed,
+        # if set to "true" but frees about 6 GB
+        tool-cache: false
 
-        rm -fR ~/.cargo
-        rm -fR ~/.rustup
-        rm -fR ~/.dotnet
-        sudo rm -fR /usr/share/swift
-        sudo rm -fR /opt/microsoft/msedge
-        sudo rm -fR /usr/local/.ghcup
-        sudo rm -fR /usr/lib/mono
-        sudo snap remove lxd
-        sudo snap remove core20
-        sudo apt remove snapd
-    
-        df -h
-        # du -h -d 3 /
+        # all of these default to true, but feel free to set to
+        # "false" if necessary for your workflow
+        android: true
+        dotnet: false
+        haskell: true
+        large-packages: true
+        docker-images: true
+        swap-storage: true
 
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL