diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2018-04-16 22:51:37 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-04-16 22:51:37 +0200 |
| commit | ec02a3a04b69fe32fddcf80734d6428183c69273 (patch) | |
| tree | e0a8a9c4858884bf7f1383e5720dd8c6398a9da8 /.gitlab-ci.yml | |
| parent | 38b075369332aa88bb1a5638c90f40e30a249f46 (diff) | |
Use `-j` when building Cabal HEAD
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions