From e74f7e0289ca20f9ff372a416c7baef8f1e1f5f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Thu, 12 Mar 2026 21:57:04 +0100
Subject: Move CI flags to minici job file

---
 minici.yaml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'minici.yaml')

diff --git a/minici.yaml b/minici.yaml
index 333878c..68e6959 100644
--- a/minici.yaml
+++ b/minici.yaml
@@ -1,8 +1,8 @@
 job build:
-  shell:
-    - cabal build -fci
-    - mkdir build
-    - cp $(cabal list-bin erebos) build/erebos
+  shell: |
+    cabal build --ghc-options='-Werror -Wno-error=unused-imports'
+    mkdir build
+    cp $(cabal list-bin erebos) build/erebos
   artifact erebos:
     path: build/erebos
 
-- 
cgit v1.2.3