Fix DevContainer test harness (#155)

This commit is contained in:
Yvan Sraka 2024-04-16 11:21:16 +02:00 committed by GitHub
parent 35d560306d
commit ff46fd1c50
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -142,5 +142,6 @@ jobs:
IOG=${{ inputs.iog }}
- 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 }}${{ inputs.variant }}${{ inputs.iog }} \
/bin/bash -c "cabal update && cabal unpack hello && cd hello-* && cabal build"
run: |
docker run --rm ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:${{ inputs.platform }}.${{ inputs.compiler-nix-name }}${{ inputs.target-platform }}${{ inputs.variant }}${{ inputs.iog }} \
bash -ic "cabal update && cabal unpack hello && cd hello-* && cabal build"