GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-24 06:52:44 +03:00
Code Issues Projects Releases Wiki Activity

Disable tests on AppVeyor for now

Browse Source 
More of the Makefile needs to be updated before tests will run
correctly.
This commit is contained in:
Aaron Tomb 2017-07-12 10:49:59 -07:00
parent ec0b506230
commit 25e2ba01c6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.appveyor.yml
View File

@ -17,4 +17,4 @@ install:
build_script:
- cabal sandbox init
- cabal install Cabal
- make test DIFF=""
- make