Incorporate feedback from PR #159 (#231)

See #159 (comment)
IntersectMBO · Jul 14, 2023 · 4a834d2 · 4a834d2
2 parents a535aed + 0bfa3b8
commit 4a834d2
Showing 1 changed file with 1 addition and 10 deletions.
diff --git a/.github/workflows/cabal.project.local b/.github/workflows/cabal.project.local
@@ -2,14 +2,5 @@
 package cardano-crypto-praos
   flags: -external-libsodium-vrf
 
-package ouroboros-consensus
-  ghc-options: -Werror
-
-package ouroboros-consensus-cardano
-  ghc-options: -Werror
-
-package ouroboros-consensus-protocol
-  ghc-options: -Werror
-
-package ouroboros-consensus-diffusion
+program-options
   ghc-options: -Werror