-
Notifications
You must be signed in to change notification settings - Fork 297
/
.travis.yml
45 lines (39 loc) · 1.37 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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
language: c
sudo: false
os:
- linux
cache:
directories:
- $TRAVIS_BUILD_DIR/*/
- $HOME/.elan
install:
- |
if [ ! -d "$HOME/.elan/toolchains/" ]; then
curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh -s -- --default-toolchain none -y
fi
- source ~/.elan/env
- mkdir $HOME/scripts || echo ""
- export PATH="$HOME/scripts:$PATH"
- cp travis_long.sh $HOME/scripts/travis_long
- chmod +x $HOME/scripts/travis_long
- (git status | grep -e "Changes not staged for commit:"); RESULT=$?
- if [ $RESULT -eq 0 ]; then git checkout -f HEAD ; fi
- rm `git status | grep "\.lean" | sed "s/\.lean/.olean/"` || true
- rm `git status | grep "\.lean"` || true
- rm mathlib.txt || true
jobs:
include:
- stage: Pre-build-1
script:
- travis_long "timeout 2400 leanpkg test" | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'
- stage: Pre-build-2
script:
- travis_long "timeout 2400 leanpkg test" | awk 'BEGIN{e=0;c=-1}c&&--c;/error/{if (!e) {c=30;e=1}};{if (!c) {exit 1}}'
- stage: Test
script:
- leanpkg test
- lean --recursive --export=mathlib.txt
- leanchecker mathlib.txt
notifications:
webhooks:
- https://leanprover.zulipchat.com/api/v1/external/travis?stream=travis&topic=build-status&api_key=SwF1QzwUWol76dCxsYgwHbI6giN3cxGn