diff options
| author | Cheng Shao <terrorjack@type.dance> | 2023-01-09 12:45:32 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-13 11:47:17 +0000 |
| commit | 93b9bbc177ca848bc80dc23aea3571c42d640192 (patch) | |
| tree | ff98a94cee20cffa898b98ffec4bed117654c02b /.gitlab/hie.yaml | |
| parent | d31fcbca6cf4bc166904cfd25696503401ad631d (diff) | |
| download | haskell-93b9bbc177ca848bc80dc23aea3571c42d640192.tar.gz | |
ci: improve nix-shell for gen_ci.hs and fix some ghc/hlint warnings
- Add a ghc environment including prebuilt dependencies to the
nix-shell. Get rid of the ad hoc cabal cache and all dependencies
are now downloaded from the nixos binary cache.
- Make gen_ci.hs a cabal package with HLS integration, to make future
hacking of gen_ci.hs easier.
- Fix some ghc/hlint warnings after I got HLS to work.
- For the lint-ci-config job, do a shallow clone to save a few minutes
of unnecessary git checkout time.
Diffstat (limited to '.gitlab/hie.yaml')
| -rw-r--r-- | .gitlab/hie.yaml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitlab/hie.yaml b/.gitlab/hie.yaml new file mode 100644 index 0000000000..04cd24395e --- /dev/null +++ b/.gitlab/hie.yaml @@ -0,0 +1,2 @@ +cradle: + cabal: |