|
563924ff26
|
Fix gitlab CI
|
2020-09-15 22:22:15 +02:00 |
|
|
a649146a39
|
Add hspec tests to gitlab CI
|
2020-09-13 21:13:42 +02:00 |
|
|
6f1b8b4041
|
Fix build on 32bit
|
2020-08-11 19:47:29 +02:00 |
|
|
391676e90a
|
Use yaml instead of pesky json
|
2020-08-09 21:56:11 +02:00 |
|
|
8739cb4656
|
Enable haddock building in CI
|
2020-07-22 01:11:37 +02:00 |
|
|
a298d949b5
|
Remove FreeBSD workaround in CI
|
2020-07-21 19:00:10 +02:00 |
|
|
2e0bbca2e0
|
Fix freebsd tui
|
2020-07-13 22:45:38 +02:00 |
|
|
50424c2801
|
Allow to build with tar-bytestring on e.g. 32bit
|
2020-07-13 15:41:31 +02:00 |
|
|
da94fa5f92
|
Create brick tui wrt #24
|
2020-07-10 21:55:12 +02:00 |
|
|
a1bcc4b51f
|
Strip release binaries
|
2020-05-30 22:15:48 +02:00 |
|
|
bf6e94cfb2
|
Allow to build zlib and lzma statically
This should fix issues on Darwin.
|
2020-05-10 13:12:39 +02:00 |
|
|
f558bd9932
|
Fix CI failing on git-describe
|
2020-04-29 23:01:51 +02:00 |
|
|
d7a6935a1a
|
Fix CI on FreeBSD
|
2020-04-29 20:14:38 +02:00 |
|
|
34b9ea7d20
|
Fix CI
|
2020-04-29 19:17:59 +02:00 |
|
|
0ff7ebb1fd
|
Allow to set downloader
|
2020-04-29 19:12:58 +02:00 |
|
|
f83dcbc430
|
Run 'git describe' in CI to make sure --version reports it
|
2020-04-29 12:38:57 +02:00 |
|
|
56e4a6b15f
|
Invert curl flag to internal-downloader
|
2020-04-29 09:56:26 +02:00 |
|
|
2e28b0d00f
|
Fix release builds
|
2020-04-27 21:23:46 +02:00 |
|
|
1842ed464f
|
Also build 32bit release artifact
|
2020-04-19 22:31:53 +02:00 |
|
|
27ead1be7c
|
Build releases
|
2020-04-19 18:55:07 +02:00 |
|
|
5184609dba
|
Enable FreeBSD testing
Also use the new ghcup for bootstrapping GHC in install_deps.
|
2020-04-19 16:33:45 +02:00 |
|
|
72bcfa9270
|
Fix CI
|
2020-04-18 17:29:44 +02:00 |
|
|
b65b9dc5e1
|
Test that setting ghc versions isn't broken
Wrt #7
|
2020-04-16 08:39:29 +02:00 |
|
|
5c481ea94e
|
Small travis adjustment
|
2020-04-15 15:36:03 +02:00 |
|
|
b532511cd5
|
Use local ghcup-*.json in travis
|
2020-04-15 15:07:37 +02:00 |
|
|
2b6cb5f1a8
|
Enable gitlab travis
|
2020-04-15 13:58:53 +02:00 |
|