File tree Expand file tree Collapse file tree 4 files changed +27
-1622
lines changed Expand file tree Collapse file tree 4 files changed +27
-1622
lines changed Original file line number Diff line number Diff line change 1
1
/. *
2
- ! /.github
3
2
! /.gitignore
3
+ ! /.github
4
4
! /.travis.yml
5
- /bower_components /
6
- /node_modules /
7
- /output /
5
+
6
+ # Dependencies
7
+ bower_components
8
+ node_modules
9
+
10
+ # Generated files
11
+ output
12
+ dce-output
13
+ generated-docs
14
+
15
+ # Lockfiles
16
+ package-lock.json
17
+ * .lock
Original file line number Diff line number Diff line change 1
-
2
1
language : node_js
3
- sudo : required
4
2
dist : trusty
5
- node_js : 8
3
+ sudo : required
4
+ node_js : stable
6
5
env :
7
6
- PATH=$HOME/purescript:$PATH
8
7
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
8
+ - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest) )
9
+ - curl --location --output $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
11
10
- tar -xvf $HOME/purescript.tar.gz -C $HOME/
12
11
- chmod a+x $HOME/purescript
13
12
- npm install -g bower
14
13
- npm install
14
+ - bower install --production
15
15
script :
16
+ - npm run -s build
16
17
- bower install
17
- - pulp test
18
+ - npm run -s test
18
19
after_success :
19
- - >-
20
- test $TRAVIS_TAG &&
21
- echo $GITHUB_TOKEN | pulp login &&
22
- echo y | pulp publish --no-push
20
+ - >-
21
+ test $TRAVIS_TAG &&
22
+ echo $GITHUB_TOKEN | pulp login &&
23
+ echo y | pulp publish --no-push
You can’t perform that action at this time.
0 commit comments