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 /erebos.cabal | |
| parent | db5e3ca2e52a288f29442fe724dd2f9c04195443 (diff) | |
Move CI flags to minici job file
Diffstat (limited to 'erebos.cabal')
| -rw-r--r-- | erebos.cabal | 11 |
1 files changed, 0 insertions, 11 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 }, |