Merge pull request #181 from purescript/0.12-rc

0.12 rc
This commit is contained in:
Justin Woo 2018-05-24 19:53:42 +03:00 committed by GitHub
commit 6f9f0b0eae
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 277 additions and 1995 deletions

View file

@ -11,8 +11,8 @@ env:
- PATH=$HOME/purescript:$HOME/psc-package:$PATH
install:
- TAG=v0.11.7
- PSC_PACKAGE_TAG=v0.3.1
- TAG=v0.12.0
- PSC_PACKAGE_TAG=v0.3.2
- 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/
- chmod a+x $HOME/purescript

File diff suppressed because it is too large Load diff