27 Commits

Author	SHA1	Message	Date
Aaron Tomb	8ed4dad321	Update Travis for GHC 8.6	2019-02-22 17:06:36 -08:00
Aaron Tomb	f5318d3379	Bump Travis GHC and cabal-install versions	2018-12-13 08:54:28 -08:00
Aaron Tomb	bf3aa4dc01	Adapt Travis to new scripts	2018-12-13 08:39:04 -08:00
Aaron Tomb	69ec23e96b	Make sure to use BASH on Travis	2018-07-20 14:46:45 -07:00
Aaron Tomb	7d2afb6c2a	Run tests on Travis	2018-07-20 14:08:31 -07:00
Aaron Tomb	031b236e66	Update CI scripts	2018-07-20 10:05:44 -07:00
Aaron Tomb	d67f6de189	Update CI configuration for GHC 8.4.1	2018-04-02 16:31:08 -07:00
Aaron Tomb	28cf68d24d	Run brew update on Travis for macOS	2017-10-25 12:46:44 -07:00
Aaron Tomb	ef09fde6e5	Fix Travis for real now	2017-10-06 14:44:11 -07:00
Aaron Tomb	3134acbb7d	Better section names for Travis	2017-10-06 14:35:58 -07:00
Aaron Tomb	39766c1b2e	Use cabal new-build on Travis	2017-10-06 14:17:35 -07:00
Aaron Tomb	520ff9183a	Build on Travis with GHC 8.2.1 ... Builds with 8.0.2 were timing out, and maybe this will help.	2017-07-27 12:08:05 -07:00
Aaron Tomb	2d6dac4a23	Another Travis typo...	2017-07-07 15:28:52 -07:00
Aaron Tomb	ac214563f2	Put Z3 in $HOME/bin on Travis/Linux	2017-07-07 15:25:20 -07:00
Aaron Tomb	80faaa4819	Fix typo in Travis config	2017-07-07 15:11:25 -07:00
Aaron Tomb	aeeb938e18	Update Travis config to install Z3	2017-07-07 15:09:40 -07:00
Aaron Tomb	48c4d764e1	Use built-in diff on Travis	2017-07-05 16:25:58 -07:00
Aaron Tomb	aa0d5179b8	Specify the diff program to use on Travis	2017-07-05 11:51:41 -07:00
Aaron Tomb	b6a0e7e3f6	Fix typo in Travis OS X script	2017-07-05 11:51:07 -07:00
Aaron Tomb	84e0687df6	Fix typo in Travis config	2017-07-05 11:14:38 -07:00
Aaron Tomb	e8a8b5292b	Add OS X configuration for Travis	2017-07-05 10:27:08 -07:00
Aaron Tomb	16876426aa	Run cabal update on Travis	2017-07-05 10:18:08 -07:00
Aaron Tomb	c5e44f694b	Another attempt at Travis	2017-07-05 09:58:04 -07:00
Aaron Tomb	06ad707b61	Bump Travis GHC version	2017-07-05 09:39:35 -07:00
Adam C. Foltzer	8ad498ca57	disable email notifications for travis	2014-04-27 21:54:18 -07:00
Adam C. Foltzer	924de3f152	install the Cabal library before starting the Travis build	2014-04-27 21:33:38 -07:00
Adam C. Foltzer	2b6642457b	add travis.yml	2014-04-27 21:27:57 -07:00