diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-03-12 21:57:04 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-03-12 21:57:04 +0100 |
| commit | e74f7e0289ca20f9ff372a416c7baef8f1e1f5f9 (patch) | |
| tree | e0b7e4de8618d94cafbaff4b2a4e3315e5bd065d | |
| parent | db5e3ca2e52a288f29442fe724dd2f9c04195443 (diff) | |
Move CI flags to minici job file
| -rw-r--r-- | erebos.cabal | 11 | ||||
| -rw-r--r-- | minici.yaml | 8 |
2 files changed, 4 insertions, 15 deletions
diff --git a/erebos.cabal b/erebos.cabal index f384598..c593753 100644 --- a/erebos.cabal +++ b/erebos.cabal @@ -34,11 +34,6 @@ Extra-Source-Files: Flag ice Description: Enable peer discovery with ICE support using pjproject -Flag ci - description: Options for CI testing - default: False - manual: True - Flag cryptonite description: Use deprecated 'cryptonite' package default: False @@ -53,12 +48,6 @@ common common -Wno-x-partial -fdefer-typed-holes - if flag(ci) - ghc-options: - -Werror - -- sometimes needed for backward/forward compatibility: - -Wno-error=unused-imports - build-depends: base ^>= { 4.15, 4.16, 4.17, 4.18, 4.19, 4.20, 4.21 }, 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 |