Commit Graph

21 Commits (3e1938aa7f573469eb768a41cd6e435b22f8bb54)

Author SHA1 Message Date
Tej Chajed ffc1e6918c
Add stack configuration for GHC 8.6 2019-05-31 17:00:38 -04:00
Lennart Spitzner 1290e8cd27 Bump CI ghc versions (8.4.3->8.4.4, 8.6.1->8.6.2) 2018-11-12 19:00:21 +01:00
Lennart Spitzner e7d8f59e93 travis-ci: Add ghc-8.6, Clean up a bit 2018-11-04 22:14:02 +01:00
Lennart Spitzner d769f30c15 travis: Prevent duplicate compilation 2018-10-14 18:25:39 +02:00
Lennart Spitzner 9de3564e00 travis: Apply fix to stack and new-build too 2018-10-14 00:56:35 +02:00
Lennart Spitzner 11dc30fbe1 Fix travis setup once more 2018-10-13 23:57:37 +02:00
Lennart Spitzner 04f441205d Try fix travis new-build test failure with a -j1 2018-09-24 00:09:01 +02:00
Lennart Spitzner 9ae790ede1 Fix .travis script: Prevent duplicated build 2018-09-12 23:22:16 +02:00
Lennart Spitzner d01572ecf4 Switch CI to use ghc-8.4.3 instead of 8.4.1 2018-07-04 22:04:45 +02:00
Lennart Spitzner 10e1c19788 Add support for ghc-8.4 2018-04-17 17:50:41 +02:00
Lennart Spitzner ac76b69127 Permit stack.yaml failure in travis 2018-04-17 17:08:21 +02:00
Lennart Spitzner ad744b0247 Fix stack.yaml 2018-04-17 16:24:58 +02:00
Lennart Spitzner ac9d505334 Rename the ghc-8.0.2 stack yaml 2017-12-28 17:30:58 +01:00
Tuncer Ayaz 8137035ac2 Resurrect old stack.yaml for lts-9.0 ci job 2017-12-28 17:30:58 +01:00
Lennart Spitzner ac10b903af travis.yml: Set jobs to 1, Pass to stack 2017-12-19 20:05:55 +01:00
Lennart Spitzner 5dac6dd7f2 Add ghc-option -Werror to all builds in .travis.yml 2017-12-19 19:53:26 +01:00
Lennart Spitzner 072b1cf091 Make macOS the first travis build job (it is slowest) 2017-12-01 00:12:09 +01:00
Lennart Spitzner fdd2f5f6dc Try fix shitty travis CI script again 2017-11-27 18:11:49 +01:00
Lennart Spitzner 585c345c35 Fix silently broken travis setup (rahhh) 2017-10-23 23:43:59 +02:00
Lennart Spitzner 5a12b63035 Adapt travis script to improve build times 2017-09-29 21:42:39 +02:00
Lennart Spitzner baac0a6a7e Add travis-CI script (cabal, new-cabal, stack) 2017-08-19 14:56:46 +02:00