fix build attempt

This commit is contained in:
Steffen Jost 2023-01-19 09:56:39 +01:00
parent 6e7af8d820
commit 76e65044f7

View File

@ -255,8 +255,7 @@ ghc-options:
- -fno-warn-partial-type-signatures - -fno-warn-partial-type-signatures
- -fno-max-relevant-binds - -fno-max-relevant-binds
- -j1 - -j1
- -freduction-depth=400 - -freduction-depth=400
- -enable-split-sections
when: when:
- condition: flag(pedantic) - condition: flag(pedantic)
ghc-options: ghc-options: