forked from purescript/pursuit
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
44 lines (36 loc) · 904 Bytes
/
.travis.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
language: generic
cache:
# Our caches are large, and take long enough to upload that we sometimes hit
# the default timeout of 180s, so we extend it here
timeout: 1500
directories:
- $HOME/.stack
branches:
# Only build master and tagged versions, i.e. not feature branches; feature
# branches already get built after opening a pull request.
only:
- master
- /^v\d+\.\d+(\.\d+)?(-\S*)?$/
addons:
apt:
packages:
- libgmp-dev
before_install:
- mkdir -p ~/.local/bin
- export PATH=$HOME/.local/bin:$PATH
script:
- ./travis/timeout.sh ./travis/script.sh
notifications:
email: true
before_deploy:
- mkdir bundle
- cp `stack path --dist-dir`/build/pursuit/pursuit bundle/
- cp LICENSE bundle/
- tar czf pursuit.tar.gz -C bundle/ .
deploy:
provider: releases
api_key: $RELEASE_KEY
file: pursuit.tar.gz
skip_cleanup: true
on:
tags: true