Parallelize Cabal builds

11 jobs for !22 with parallel-builds in 41 minutes and 56 seconds (queued for 2 seconds)
merge request
Name Stage Failure
failed
build-armv7-linux-deb9 Build
 ---> 05358f967341
Step 20/30 : ENV CABAL_VERSION 3.0.0.0
---> Using cache
---> bbb139a18ca6
Step 21/30 : RUN EXTRA_CONFIGURE_OPTS="--disable-optimization --ghc-options=-j$CPUS" ./bootstrap.sh --global --no-doc
---> Running in eaa8835b0473
/bin/bash: ./bootstrap.sh: No such file or directory
The command '/bin/bash -o pipefail -c EXTRA_CONFIGURE_OPTS="--disable-optimization --ghc-options=-j$CPUS" ./bootstrap.sh --global --no-doc' returned a non-zero code: 127
ERROR: Job failed: exit code 127
failed
build-aarch64-linux-deb9 Build
 ---> 87306a092947
Step 20/30 : ENV CABAL_VERSION 3.0.0.0
---> Using cache
---> 37bfb31f5f58
Step 21/30 : RUN EXTRA_CONFIGURE_OPTS="--disable-optimization --ghc-options=-j$CPUS" ./bootstrap.sh --global --no-doc
---> Running in 743dd5200250
/bin/bash: ./bootstrap.sh: No such file or directory
The command '/bin/bash -o pipefail -c EXTRA_CONFIGURE_OPTS="--disable-optimization --ghc-options=-j$CPUS" ./bootstrap.sh --global --no-doc' returned a non-zero code: 127
ERROR: Job failed: exit code 127