Merge branch 'master' into master-ghc8107

2024-12-17 17:20:21 +01:00 · 2023-11-10 21:11:08 +00:00
parent fe4eb7b5af 83aaaa9ada
commit 74b78a8d7b
119 changed files with 5605 additions and 1732 deletions
@@ -5,6 +5,7 @@ set -e
 OS=mac
 ARCH="${1:-`uname -a | rev | cut -d' ' -f1 | rev`}"
 COMPOSE_ARCH=$ARCH
+GHC_VERSION=8.10.7

 if [ "$ARCH" == "arm64" ]; then
    ARCH=aarch64