From 29a9f747993663bf24877ceaa8cd2f3a03e9a538 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Wed, 20 May 2026 19:51:27 +0200
Subject: Move CI flags to minici job file

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

(limited to 'erebos-tester.cabal')

diff --git a/erebos-tester.cabal b/erebos-tester.cabal
index 32f1934..0709d70 100644
--- a/erebos-tester.cabal
+++ b/erebos-tester.cabal
@@ -21,11 +21,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/tester
@@ -37,12 +32,6 @@ executable erebos-tester
         -threaded
         -no-hs-main
 
-    if flag(ci)
-        ghc-options:
-            -Werror
-            -- sometimes needed for backward/forward compatibility:
-            -Wno-error=unused-imports
-
     main-is:
         Main.hs
 
-- 
cgit v1.2.3