Merge pull request #171 from chexxor/package-set-0.12

package-set-0.12
This commit is contained in:
Justin Woo 2018-04-30 10:34:48 -05:00 committed by GitHub
commit 949e3eb9c5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 89 additions and 1965 deletions

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/

File diff suppressed because it is too large Load diff