53 Commits

Author	SHA1	Message	Date
Aaron Tomb	5100132e4c	Tweak a few things for 2.9.0 (#833) ... * Fix Dockerfile * Include version number in CHANGES.md * Update copyright dates * Don't include cryptol-specs in release archives * Remove duplicate copy of Programming Cryptol	2020-07-28 08:41:27 -07:00
Jared Weakly	755d4d2de3	Enable docker builds for releases and nightlies (#834) ... * Enable docker builds in nightly and release * Fix doc builds	2020-07-28 08:40:34 -07:00
Jared Weakly	7c082b475c	Allow release branches to actually release (#832) ... Fix release check	2020-07-27 10:05:28 -07:00
Jared Weakly	7e5e1ca439	explicitly build cryptol-html target in addition to cryptol	2020-07-24 15:03:38 -07:00
Jared Weakly	19f643a3ce	add working retry	2020-07-24 14:12:41 -07:00
Jared Weakly	66f7aa2165	Deduplicate release checking logic	2020-07-24 14:12:41 -07:00
Jared Weakly	4832160fd9	Add release versioning for cryptol	2020-07-24 14:12:41 -07:00
Jared Weakly	4c9ee03b59	Manually invalidate cache for dist-newstyle	2020-07-24 14:12:41 -07:00
Jared Weakly	2b12784e63	typo: releases -> release	2020-07-24 14:12:41 -07:00
Jared Weakly	5f36effaee	Ignore harmless errors if strip fails	2020-07-24 14:12:41 -07:00
Jared Weakly	ad76a58e08	fix cycle in yaml	2020-07-24 14:12:41 -07:00
Jared Weakly	b1b380a087	Try workaround for testing release-drafter in CI	2020-07-24 14:12:41 -07:00
Jared Weakly	97561c4613	Don't build docker image nightly yet	2020-07-24 14:12:41 -07:00
Jared Weakly	4f08953a4e	Run release process on branch instead of tag	2020-07-24 14:12:41 -07:00
Jared Weakly	21be891dad	Draft release using cabal file's version	2020-07-24 14:12:41 -07:00
Jared Weakly	5ffc213454	Use binary release from github release page on macos.	2020-07-02 14:44:47 -07:00
Jared Weakly	a108859925	Bump CVC4	2020-07-02 14:44:47 -07:00
Jared Weakly	99d563790f	Run cabal update unconditionally before configure	2020-07-01 16:43:33 -07:00
Jared Weakly	79c9049730	Remove GHC 8.4 from CI	2020-07-01 16:43:33 -07:00
Jared Weakly	f915b118da	disable builds on windows for which there's a memory leak	2020-06-24 13:36:49 -07:00
Jared Weakly	16b2c96231	fix version in release drafter	2020-06-18 13:26:40 -07:00
Jared Weakly	cd4673373e	allow failure for docker job in nightly build	2020-06-18 12:26:43 -07:00
Jared Weakly	c22a2e1e9c	fix tag in artifact upload	2020-06-18 12:24:14 -07:00
Jared Weakly	5f86556c5c	correct artifact upload command. Don't upload unneeded windows artifact	2020-06-18 11:46:01 -07:00
Jared Weakly	f43959a1bd	add version to entire bundle job	2020-06-18 10:33:33 -07:00
Jared Weakly	d30f7e15aa	Fix missing env variable	2020-06-17 17:20:07 -07:00
Jared Weakly	bdbebdff16	correctly reference branch in conditions	2020-06-17 16:43:29 -07:00
Jared Weakly	30fa67a0cc	remvoe unnecessary push	2020-06-17 16:09:00 -07:00
Jared Weakly	0a231880f5	prevent duplicate runs if actions/ has a PR	2020-06-17 15:30:04 -07:00
Jared Weakly	a023b4de5a	fix undefined runner variable in build.yml	2020-06-17 13:32:18 -07:00
Jared Weakly	15e26ae9ee	move docker workflow into build. Fix release workflow	2020-06-17 13:26:44 -07:00
Jared Weakly	a16d90a7aa	add GHC 8.10	2020-06-16 18:33:22 -07:00
Jared Weakly	66dce48c2d	Remove unneeded fetch-depth	2020-06-16 17:18:01 -07:00
Jared Weakly	4203898d03	zip -> tar.gz	2020-06-16 16:26:43 -07:00
Jared Weakly	1d1bb926ca	retry cabal build on failure	2020-06-16 16:05:30 -07:00
Jared Weakly	88b62013b4	don't overwrite on nightly artifact upload	2020-06-16 08:49:42 -07:00
Jared Weakly	9d6c542579	Use setup-haskell again	2020-06-11 15:58:14 -07:00
Jared Weakly	cb82d30023	Try out janky workaround to see if windows CI actually passes	2020-06-11 15:55:21 -07:00
Jared Weakly	f78e25e066	fix missing dist/bin references	2020-06-09 17:23:30 -07:00
Jared Weakly	84448509d0	pass VERSION env variable correctly	2020-06-09 16:41:20 -07:00
Jared Weakly	740ca899ae	use dist/bin in setup_dist_bins	2020-06-09 15:59:55 -07:00
Jared Weakly	eb0c9edf7d	bundle up nightlies with docs	2020-06-09 15:22:31 -07:00
Jared Weakly	f056ad941a	remove artifact remover	2020-06-09 14:01:31 -07:00
Jared Weakly	d33a036cd0	don't fail fast. Clean up setting outputs	2020-06-09 14:01:31 -07:00
Jared Weakly	237730c0eb	Use not-yet-upstreamed setup-haskell fix	2020-06-09 14:01:31 -07:00
Jared Weakly	ac8f4c88de	add back in cvc4 support for pipeline	2020-06-09 14:01:31 -07:00
Jared Weakly	656b746cbd	move docker step back into separate job	2020-06-09 14:01:31 -07:00
Jared Weakly	79c0c994ee	move docker step to before haskell setup	2020-06-09 14:01:31 -07:00
Jared Weakly	5b41430e20	set path before build	2020-06-09 14:01:31 -07:00
Jared Weakly	2d9064e749	add build command into ci.sh	2020-06-09 14:01:31 -07:00