Fix No space left on device while building devx-container in GitH…

…ub Action (#141)

.github/workflows/wait-and-upload.yml

@@ -119,6 +119,11 @@ jobs:
     # and the GHC version (currently `ghc810` and `ghc96`).
     if: ${{ contains(fromJSON('["x86_64-linux", "aarch64-linux"]'), inputs.platform) && contains(fromJson('["","-windows","-js"]'), inputs.target-platform) && contains(fromJson('["ghc810","ghc96"]'), inputs.compiler-nix-name) && !inputs.minimal }}
     steps:
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          docker-images: false
+
       - name: Checkout repository
         uses: actions/checkout@v3
 
@@ -172,4 +177,4 @@ jobs:
 
       - name: Run test command inside the Dev Container
         run: docker run --rm ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ inputs.platform }}.${{ inputs.compiler-nix-name }}${{ inputs.target-platform }} \
-             /bin/bash -c "cabal update && cabal unpack hello && cd hello-* && cabal build"
+             /bin/bash -c "cabal update && cabal unpack hello && cd hello-* && cabal build"