forked from hazelgrove/hazel
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.travis.yml
31 lines (30 loc) · 1.35 KB
/
.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
# Build phases
before_install:
- sudo add-apt-repository --yes ppa:avsm/ppa
- sudo apt update
- sudo apt --assume-yes install m4 opam
install:
- export OPAMYES=1
- opam init --compiler=ocaml-base-compiler.4.08.1
- eval $(opam env)
- make deps
script: make release
deploy:
provider: script
script: bash .travis-deploy.sh
skip_cleanup: true
on:
all_branches: true
condition: ("$TRAVIS_PULL_REQUEST" == false) && ("$TRAVIS_BRANCH" =~ ^(dev|trunk)$)
# General settings
cache:
directories:
- $HOME/.opam
language: minimal
notifications:
# Notifications on #hazel-dev channel of hazelgrove Slack
slack:
rooms:
- secure: qd+LOxXCdQy3GhLjmybzXSHf74uDSrUuTtOaWKdc+FKs+rAmzN+1EaKV0GE7sjf3lN5oRXq8XpRquXVan247wZutZqwob6ixD/tjfH7iVAXVs6cB7uYOGxSYihyMu1H+ejoPbkmBdfBkFBXXPll4shkwAEwrS9SmEqjcUjTwrth6mrLfQBHQr8mfCBBQKZjtTi7uzKB+Xi9jSfV386yDWKUsK/tmeTJBga+F60LgkCZYf67dRkOOxVFsuQAzn9100BnholwtXH/sWC70BOi3dL2LHCKyxkR+IeNW0gZ8cPUlZfEgNBNOKb3z1fbwQc3zywEJ+gb7J83GxXn+GgB8MpahQgizZn+Tk01jId4X++OYtddiYZAJeWySeR/Fb/9SxB7R1QDiyWH+2LHzreCHHjwGFQ6cjB4KNmXyPRzAX6nUr9xZpc+nOeLJD49Im1qU68ToJs4HpRoT16+A/p3ePUTWWRCoDIpDHe1Zipd4MG5nV8oeQiuXTw6KyidaHvC+boLdCPoyd3hApdIarbo79qpXoAr1wiJyR8T6eilX4rCdZfNId2RZUHzbs3yoU81VBRZ/Ly1H4M0edN7xvG5NicOBGpv+dvAnxomljgqgqVjxRhdPRca54ItXq0yVI/wZgZ/A7fadBunMK3vCw5oP0N6+NHXU5YX7FWQ5hNnTpNk=
on_success: change
on_failure: always