Permit allow-different-user

chrisdone · chrisdone · commit 70ccd2c1d5a7 · 2025-03-04T16:59:02.000Z
diff --git a/stack.yaml b/stack.yaml
@@ -1,4 +1,5 @@
 resolver: nightly-2024-10-21
 system-ghc: true
+allow-different-user: true # delete this line for Dockerfile cache re-use
 ghc-options:
   "$everything": "-split-sections -j"
