From 8a20938459ee8cd2f251faac97904aa5c9da7ec1 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Mon, 8 Jul 2019 07:35:08 -0400
Subject: [PATCH] head.hackage: Run builds with -dcore-lint

---
 .gitlab/start-head.hackage.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab/start-head.hackage.sh b/.gitlab/start-head.hackage.sh
index e948ae231953..12771fd029d1 100644
--- a/.gitlab/start-head.hackage.sh
+++ b/.gitlab/start-head.hackage.sh
@@ -24,6 +24,7 @@ curl --silent --show-error \
   -F "token=$HEAD_HACKAGE_TRIGGER_TOKEN" \
   -F "ref=master" \
   -F "variables[GHC_PIPELINE_ID]=$CI_PIPELINE_ID" \
+  -F "variables[EXTRA_HC_OPTS]=-dcore-lint" \
   https://gitlab.haskell.org/api/v4/projects/$HEAD_HACKAGE_PROJECT_ID/trigger/pipeline \
   | tee resp.json
 
-- 
GitLab