diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-07-25 15:24:31 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-23 16:00:17 -0400 |
commit | cbfc0e933660626c9f4eaf5480076b6fcd31dceb (patch) | |
tree | 1a2ac65ab5407c5c4fd4c12a963af55bf9922e54 /.gitlab-ci.yml | |
parent | ca88d91c055d877412626f92973b1f896bcb8b79 (diff) | |
download | haskell-cbfc0e933660626c9f4eaf5480076b6fcd31dceb.tar.gz |
ci: Isolate build from HOME
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 942c11023f..246b8c94fa 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -21,6 +21,9 @@ variables: HACKAGE_INDEX_STATE: "2020-12-21T14:48:20Z" + # Makes ci.sh isolate CABAL_DIR + HERMETIC: "YES" + # Reduce XZ compression level for regular jobs (it is bumped to 9 for releases # and nightly jobs). In my experiments I've got the following bindist size in # the given time for each compression level (with the quick flavour): |