ci: free up disk space

kani-list-autoharness
The hosted runner lost communication with the server.
Anything in your workflow that terminates the runner process,
starves it for CPU/Memory, or blocks its network access can cause this error.

Author: zjp-CN

.github/workflows/test.yml

@@ -56,6 +56,13 @@ jobs:
       UNSTABLE_ARGS: -Z function-contracts -Z mem-predicates -Z float-lib -Z c-ffi -Z loop-contracts
       AUTO: ${{ matrix.autoharness }}
     steps:
+      - name: Remove unnecessary software to free up disk space
+        run: |
+          # inspired by https://github.com/easimon/maximize-build-space/blob/master/action.yml
+          df -h
+          sudo rm -rf /usr/share/dotnet /usr/local/lib/android /usr/local/.ghcup
+          df -h
+
       - uses: actions/checkout@v4
         with:
           submodules: 'recursive'