GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-11 07:00:49 +03:00
Code Issues Projects Releases Wiki Activity
2,386 Commits 68 Branches 28 Tags 95 MiB
39eec9c90b
Commit Graph

38 Commits

Author SHA1 Message Date
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
Jared Weakly
62ace42457 Adjust names in nightly artifacts 2020-06-09 14:01:31 -07:00
Jared Weakly
221e411b68 Serialize nightly windows builds 2020-05-27 10:26:44 -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