Bump purs version to v0.12.0-rc1

This commit is contained in:
Alex Berg 2018-04-29 22:27:08 -05:00 committed by GitHub
parent 2033eb395d
commit cc98346b41
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,7 +11,7 @@ env:
- PATH=$HOME/purescript:$HOME/psc-package:$PATH
install:
- TAG=v0.11.7
- TAG=v0.12.0-rc1
- PSC_PACKAGE_TAG=v0.3.1
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
- tar -xvf $HOME/purescript.tar.gz -C $HOME/