delete unused travis template
commitb1668805eaaaa1822cea2c50e9dc53cf8ea34626
authorjustinwoo <moomoowoo@gmail.com>
dateWed 27 Feb 2019, 15:06 (8 years ago)
parent6727fd2
.travis.standard.ymldeleted−25
@@ -1,25 +0,0 @@
1−language: c
2−dist: trusty
3−sudo: required
4−
5−cache:
6− directories:
7− - .psc-package
8− - output
9−
10−env:
11− - PATH=$HOME/purescript:$HOME/psc-package:$PATH
12−
13−install:
14− - TAG=v0.12.0
15− - PSC_PACKAGE_TAG=v0.3.2
16− - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
17− - tar -xvf $HOME/purescript.tar.gz -C $HOME/
18− - chmod a+x $HOME/purescript
19− - wget -O $HOME/psc-package.tar.gz https://github.com/purescript/psc-package/releases/download/$PSC_PACKAGE_TAG/linux64.tar.gz
20− - tar -xvf $HOME/psc-package.tar.gz -C $HOME/
21− - chmod a+x $HOME/psc-package
22−
23−script:
24− - make setup-only
25− - psc-package verify