mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-23 11:58:47 +03:00
Actually fix Travis freeze files?
This commit is contained in:
parent
887d1bc65b
commit
8012484fa6
@ -33,7 +33,7 @@ before_install:
|
||||
- env
|
||||
|
||||
script:
|
||||
- cp cabal.$GHCSHORTVER.config cabal.project.freeze
|
||||
- cp cabal.GHC${GHCSHORTVER}.config cabal.project.freeze
|
||||
- cabal update
|
||||
- bash cry build
|
||||
- bash cry test
|
||||
|
Loading…
Reference in New Issue
Block a user