ci: make space for flatland-baselines image. (flatland-association#22)

Signed-off-by: chenkins <chenkins44@gmail.com>

Author: chenkins

.github/workflows/checks.yaml

@@ -41,6 +41,22 @@ jobs:
       matrix:
         python-version: [ "3.13" ]
     steps:
+      - name: Inspect disk
+        run: |
+          df -h
+          docker system df
+      # https://stackoverflow.com/questions/30604846/docker-complains-about-no-space-left-on-device-how-to-clean-up
+      - name: Prune docker system
+        run: |
+          docker system prune --all --force
+      # https://www.dzombak.com/blog/2024/09/freeing-disk-space-on-github-actions-runners/
+      - name: Free disk space
+        run: |
+          curl -fsSL https://raw.githubusercontent.com/kou/arrow/e49d8ae15583ceff03237571569099a6ad62be32/ci/scripts/util_free_space.sh | bash
+      - name: Inspect disk again
+        run: |
+          df -h
+          docker system df
       - uses: actions/checkout@v4
         with:
           repository: flatland-association/flatland-benchmarks