mirror of
https://github.com/xmonad/xmonad-contrib.git
synced 2025-05-18 19:10:21 -07:00
8de415743d
Cuts a minute from the build. This was already disabled in the Stack workflow and we just forgot to put it here as well. Related: https://github.com/xmonad/xmonad-contrib/pull/580
17 lines
230 B
Plaintext
17 lines
230 B
Plaintext
apt:
|
|
libx11-dev
|
|
libxext-dev
|
|
libxft-dev
|
|
libxinerama-dev
|
|
libxrandr-dev
|
|
libxss-dev
|
|
|
|
hlint: True
|
|
hlint-yaml: .hlint.yaml
|
|
|
|
raw-project
|
|
optimization: False
|
|
package xmonad-contrib
|
|
flags: +pedantic
|
|
ghc-options: -j
|