Fix No space left on device while building devx-container in GitHub Action (#141)

This commit is contained in:
Yvan Sraka 2024-04-09 14:50:51 +02:00 committed by GitHub
parent 1a244f104e
commit 36d5241fea
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -119,6 +119,11 @@ jobs:
# and the GHC version (currently `ghc810` and `ghc96`). # 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 }} 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: steps:
- name: Free Disk Space (Ubuntu)
uses: jlumbroso/free-disk-space@main
with:
docker-images: false
- name: Checkout repository - name: Checkout repository
uses: actions/checkout@v3 uses: actions/checkout@v3
@ -172,4 +177,4 @@ jobs:
- name: Run test command inside the Dev Container - 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 }} \ 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"