diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-17T09·25+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-20T10·26+0100 |
| commit | 1bb32b1bcc6cc6f258d745bd51cf919c1ca4700e (patch) | |
| tree | ffbb60d686c1fcd68b32f4affab1b6f64809a3cc /zoo/.ghci | |
| parent | 59f74814111045b6d74d2a8f5b4f4bfbd1cacd85 (diff) | |
Disable failing goals/default.nix
Disabling failing packages until I can get a working CI build.
Diffstat (limited to 'zoo/.ghci')
0 files changed, 0 insertions, 0 deletions