From 5aacb05027deb842123b1f74f004531a055d26ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sat, 6 Jun 2026 09:41:12 +0200
Subject: Move CI flags to minici job file

---
 minici.cabal | 11 -----------
 1 file changed, 11 deletions(-)

(limited to 'minici.cabal')

diff --git a/minici.cabal b/minici.cabal
index 97c6b97..2170785 100644
--- a/minici.cabal
+++ b/minici.cabal
@@ -23,11 +23,6 @@ extra-doc-files:
     README.md
     CHANGELOG.md
 
-flag ci
-    description:    Options for CI testing
-    default: False
-    manual: True
-
 source-repository head
     type:       git
     location:   https://code.erebosprotocol.net/minici
@@ -40,12 +35,6 @@ executable minici
         -threaded
         -fdefer-typed-holes
 
-    if flag(ci)
-        ghc-options:
-            -Werror
-            -- sometimes needed for backward/forward compatibility:
-            -Wno-error=unused-imports
-
     other-modules:
         Command
         Command.Checkout
-- 
cgit v1.2.3