@@ -0,0 +1,34 @@
1+language: node_js
2+dist: trusty
3+sudo: required
4+node_js: stable
5+
6+env:
7+ matrix:
8+ - PATH=$HOME/purescript:$PATH
9+
10+install:
11+- export PURS_VERSION=v0.13.2
12+- wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$PURS_VERSION/linux64.tar.gz
13+- tar -xvf $HOME/purescript.tar.gz -C $HOME/
14+- chmod a+x $HOME/purescript
15+- npm install -g spago
16+- spago install
17+
18+script:
19+- spago build
20+- spago test
21+- spago docs
22+- spago bundle-app -m Docs.Search.App --to generated-docs/docs-search-app.js
23+- spago run -m Docs.Search.IndexBuilder
24+
25+deploy:
26+ - provider: releases
27+ api_key: $API_KEY
28+ file:
29+ - generated-docs/docs-search-app.js
30+ skip_cleanup: true
31+ on:
32+ tags: true
33+ script:
34+ - echo 'done'