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