diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 94f82ea..d5781af 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -58,9 +58,7 @@ jobs: - name: Populate workspace shell: bash run: | - shopt -s dotglob && tmp="$(mktemp -d)" \ - && mv ${{ inputs.variant }}/* ${tmp}/ \ - && echo ".github/" >> .melangeignore && tree -a . \ + echo ".github/" >> .melangeignore && tree -a . \ && sudo rm -rf /work && sudo mkdir /work - name: Setup QEMU