fix: CI 'no space left on device' issue

------
 > exporting to docker image format:
------
------
 > importing to docker:
------
ERROR: failed to build: failed to solve: rpc error: code = Unknown desc = write /root/.rustup/toolchains/1.87.0-x86_64-unknown-linux-gnu/lib/rustlib/aarch64-unknown-linux-gnu/lib/libgimli-605c467c05f27091.rlib: no space left on device
Reference
Check build summary support
Error: buildx failed with: ERROR: failed to build: failed to solve: rpc error: code = Unknown desc = write /root/.rustup/toolchains/1.87.0-x86_64-unknown-linux-gnu/lib/rustlib/aarch64-unknown-linux-gnu/lib/libgimli-605c467c05f27091.rlib: no space left on device

Author: joseluisq

.github/workflows/devel.yml

@@ -31,6 +31,13 @@ jobs:
         uses: actions/checkout@v4
         with:
           fetch-depth: 1
+      # https://github.com/actions/runner-images/issues/2840
+      - name: Free disk space
+        run: |
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /usr/local/lib/android
+          sudo rm -rf "/usr/local/share/boost"
       -
         name: Cache Docker layers
         uses: actions/cache@v4
@@ -125,6 +132,13 @@ jobs:
         uses: actions/checkout@v4
         with:
           fetch-depth: 1
+      # https://github.com/actions/runner-images/issues/2840
+      - name: Free disk space
+        run: |
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /usr/local/lib/android
+          sudo rm -rf "/usr/local/share/boost"
       -
         name: Cache Docker layers
         uses: actions/cache@v4