Skip to content

Commit 9ee26e5

Browse files
CarstenKoenigkritzcreek
authored andcommitted
fetch latest purs for travis
1 parent a33b8d7 commit 9ee26e5

File tree

2 files changed

+13
-9
lines changed

2 files changed

+13
-9
lines changed

.travis.yml

Lines changed: 11 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,22 @@
1+
12
language: node_js
2-
dist: trusty
33
sudo: required
4-
node_js: stable
4+
dist: trusty
5+
node_js: 8
6+
env:
7+
- PATH=$HOME/purescript:$PATH
58
install:
9+
- TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
10+
- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
11+
- tar -xvf $HOME/purescript.tar.gz -C $HOME/
12+
- chmod a+x $HOME/purescript
613
- npm install -g bower
714
- npm install
815
script:
9-
- bower install --production
10-
- npm run -s build
1116
- bower install
12-
- npm -s test
17+
- pulp test
1318
after_success:
1419
- >-
1520
test $TRAVIS_TAG &&
1621
echo $GITHUB_TOKEN | pulp login &&
17-
echo y | pulp publish --no-push
22+
echo y | pulp publish --no-push

package.json

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,8 @@
66
"test": "pulp test"
77
},
88
"devDependencies": {
9-
"pulp": "^12.0.1",
9+
"pulp": "^12.2.0",
1010
"purescript-psa": "^0.6.0",
11-
"purescript": "^0.11.1",
1211
"rimraf": "^2.6.1"
1312
}
14-
}
13+
}

0 commit comments

Comments
 (0)