Fix CI ENOSPC issue

Author: hsyl20

.github/workflows/ci.yml

@@ -18,6 +18,23 @@ jobs:
         ghc: ['9.6.7']
 
     steps:
+
+    - name: Free disk space
+      uses: jlumbroso/free-disk-space@main
+      with:
+        # this might remove tools that are actually needed,
+        # if set to "true" but frees about 6 GB
+        tool-cache: false
+
+        # all of these default to true, but feel free to set to
+        # "false" if necessary for your workflow
+        android: true
+        dotnet: true
+        haskell: false
+        large-packages: false
+        docker-images: true
+        swap-storage: true
+
     - uses: actions/checkout@v4
       with:
         submodules: false