From adf60f9ae688683b1d9259dc2463411ce3ab8247 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Thu, 28 Jan 2021 18:26:47 +0100
Subject: [PATCH] chore: strip profiled & don't push cache

---
 .gitlab-ci.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1736d770b..2f7ad0f39 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -146,12 +146,16 @@ yesod:build:
   interruptible: true
   resource_group: ram
   
-yesod:build-profile:
+yesod:build:profile:
+  cache:
+    <<: *global_cache
+    policy: pull
+
   services: *build-services
 
   stage: yesod:build
   script:
-    - stack build --profile --copy-bins --local-bin-path $(pwd)/bin --flag uniworx:-library-only --flag uniworx:-dev --flag uniworx:pedantic --no-strip
+    - stack build --profile --copy-bins --local-bin-path $(pwd)/bin --flag uniworx:-library-only --flag uniworx:-dev --flag uniworx:pedantic
   needs:
     - frontend:build
   before_script: *haskell