summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2026-05-20 19:51:27 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2026-05-20 19:51:27 +0200
commit29a9f747993663bf24877ceaa8cd2f3a03e9a538 (patch)
treea84f9724a2ac17644608dd90d4501d028fd98fb0
parent340185c5942e71b1cb4cc3cf5972f602eb34c50d (diff)
Move CI flags to minici job fileHEADmaster
-rw-r--r--erebos-tester.cabal11
-rw-r--r--minici.yaml8
2 files changed, 4 insertions, 15 deletions
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
diff --git a/minici.yaml b/minici.yaml
index 0813962..d381817 100644
--- a/minici.yaml
+++ b/minici.yaml
@@ -1,8 +1,8 @@
job build:
- shell:
- - cabal build -fci --constraint='megaparsec >= 9.7.0'
- - mkdir build
- - cp $(cabal list-bin erebos-tester) build/erebos-tester
+ shell: |
+ cabal build --ghc-options='-Werror -Wno-error=unused-imports' --constraint='megaparsec >= 9.7.0'
+ mkdir build
+ cp $(cabal list-bin erebos-tester) build/erebos-tester
artifact bin:
path: build/erebos-tester