Docker build is failing

[benfoley]

buildx failed with: ERROR: failed to solve: process "/bin/sh -c apt-get install gawk && chmod +x extras/* && ./extras/install_liblbfgs.sh && ./extras/install_srilm.sh && chmod +x env.sh && source ./env.sh" did not complete successfully: exit code: 1

[nicklambourne]

Would suggest breaking this compound command into one docker command per unix command to help with debugging.

[benfoley]

Build now works locally (with changes in PR #343) but Github action fails due to lack of space.

Have changed to larger runner, let's see if that works. Later, try cleaning up things before build and go back to free runner.

eg, try the following, from https://github.com/jens-maus/RaspberryMatic/blob/d5044bef3307bc61166377c162569de1a61cf332/.github/workflows/ci.yml#L34-L40

    - name: free disk space
      run: |
        sudo swapoff -a
        sudo rm -f /swapfile
        sudo apt clean
        docker rmi $(docker image ls -aq)
        df -h