9 Commits

Author	SHA1	Message	Date
Iavor Diatchki	4e0da53ff3	Change freeze files to use test-lib 0.3	2021-04-21 17:20:37 -07:00
Rob Dockins	8e6a4007fc	Update freeze files	2021-02-09 11:04:45 -08:00
Aaron Tomb	339c13b723	Prepare for v2.9.1 (#872) ... * Tiny tweaks to release notes * Update GHC versions * Update GHC versions for Actions * Build releases with 8.8.4 (Something strange is going on with 8.10.2 on Windows)	2020-08-31 11:40:09 -07:00
Jared Weakly	677097310c	Avoid pinning hsc2hs so that windows builds	2020-07-01 18:15:09 -07:00
Ben Selfridge	22d98c72b8	update to bv-sized branch of what4	2020-06-04 15:51:35 -07:00
Jared Weakly	1c38465ca8	Implement GitHub actions (#722) ... * Builds nightly binary tarballs on Linux, macOS, and Windows * Runs tests on every PR and merge to master * Includes GitHub Actions status in README instead of Travis * Makes the GitRev recompile hack less fragile * Makes the Makefile Cabal v3 compatible * Builds the manual as part of the CI process	2020-05-14 10:50:22 -07:00
Rob Dockins	402ecf20dd	update travis and cabal.freeze files	2020-04-27 14:19:44 -07:00
Aaron Tomb	92efa36598	Update freeze files for all GHC versions	2019-10-23 13:20:59 -07:00
Aaron Tomb	20c58a0dd8	Rename Cabal freeze files	2019-10-23 13:05:35 -07:00