From d7ed834fba8910dd7804e7dfd1f659cdcc648fb9 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Thu, 28 Jan 2021 17:11:49 +0100
Subject: [PATCH] chore: offer profiled build

---
 .gitlab-ci.yml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ffc71afd5..1736d770b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -145,6 +145,28 @@ yesod:build:
   retry: 2
   interruptible: true
   resource_group: ram
+  
+yesod:build-profile:
+  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
+  needs:
+    - frontend:build
+  before_script: *haskell
+  artifacts:
+    paths:
+      - bin/
+    name: "${CI_JOB_NAME}"
+  dependencies:
+    - frontend:build
+
+  when: manual
+
+  retry: 2
+  interruptible: true
+  resource_group: ram
 
 frontend:test:
   cache: