summaryrefslogtreecommitdiff
path: root/minici.yaml
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 /minici.yaml
parent340185c5942e71b1cb4cc3cf5972f602eb34c50d (diff)
Move CI flags to minici job fileHEADmaster
Diffstat (limited to 'minici.yaml')
-rw-r--r--minici.yaml8
1 files changed, 4 insertions, 4 deletions
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