20 Commits

Author	SHA1	Message	Date
Patrick Thomson	039e187819	Fix travis invocation and add more bounds.	2019-06-11 11:05:10 -04:00
Patrick Thomson	e316aec4a9	see if a simpler travis invocation will help?	2019-06-10 17:54:36 -04:00
Patrick Thomson	dcf4a577f7	Use Hackage package rather than submodules.	2019-06-10 13:29:11 -04:00
Patrick Thomson	1b52d7d0cd	Call --enable-tests in Travis and use the right proto3-suite.	2019-06-06 14:30:37 -04:00
Patrick Thomson	b7c8df354a	Merge remote-tracking branch 'origin/master' into use-smarter-cabal-project-when-possible	2019-06-05 09:13:57 -04:00
Patrick Thomson	94f7188dc1	Always write the GHC environment files.	2019-06-05 09:13:43 -04:00
Douglas Creager	d2d62a457a	Only build PR branches once in Travis ... We didn't have a branch exclusion filter in place, so Travis has been building each PR twice.	2019-06-05 08:34:33 -04:00
Patrick Thomson	2bb3b026ca	I was working on the wrong branch, smh	2019-06-04 19:15:25 -04:00
Patrick Thomson	6e7fce0df7	Revert "We're trying to run the proto3 tests, see if this stops it" ... This reverts commit da4ab0c4ee.	2019-06-04 19:14:40 -04:00
Patrick Thomson	da4ab0c4ee	We're trying to run the proto3 tests, see if this stops it	2019-06-04 19:08:54 -04:00
Patrick Thomson	1e122916f0	flailing attempt to get console output during long git checkouts	2019-06-04 19:05:06 -04:00
Patrick Thomson	840ce490ce	Run the parse-examples checks on CI. ... 🎩 @tclem	2019-06-04 17:11:25 -04:00
Patrick Thomson	51a0749386	And run the semantic-core specs.	2019-06-04 15:29:00 -04:00
Patrick Thomson	470f469568	Explicitly build the executable target.	2019-06-04 14:29:46 -04:00
Patrick Thomson	c148a9ab8b	Build semantic-core in CI.	2019-06-04 11:48:03 -04:00
Patrick Thomson	4de901c46e	Don't cabal-check yet either.	2019-06-03 13:01:08 -04:00
Patrick Thomson	89606ff5cb	I said not to enable benchmarks and I meant it!	2019-06-03 12:41:00 -04:00
Patrick Thomson	876bba7daa	Ensure we get parallel dependency builds.	2019-06-03 11:54:49 -04:00
Patrick Thomson	f736f5c353	Don't enable benchmarks yet.	2019-06-03 11:35:42 -04:00
Patrick Thomson	091d436c50	Attempt to bring up CI.	2019-06-03 11:31:45 -04:00