From d9b1fc7f736add204b45e41a3cc69a6be6138682 Mon Sep 17 00:00:00 2001
From: David Binder <binderd@informatik.uni-tuebingen.de>
Date: Fri, 7 Oct 2022 13:57:49 +0200
Subject: [PATCH] Add -w argument in .gitlab-ci.yml
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2b0ad27..b07637e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,4 +3,4 @@ build:
tags:
- "x86_64-linux"
script:
- - "cabal build"
+ - "cabal build -w $GHC"
--
GitLab