GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-28 17:33:13 +03:00
Code Issues Projects Releases Wiki Activity

Use cry script on AppVeyor

Browse Source
This commit is contained in:
Aaron Tomb 2019-10-23 12:58:47 -07:00
parent 8012484fa6
commit 7f79f9bd5c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.appveyor.yml
View File

@ -18,4 +18,5 @@ install:
build_script:
- cabal v2-update
- cabal v2-build --allow-newer
- bash cry build
- bash cry test