forked from sisl/NeuralVerification.jl
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.travis.yml
53 lines (44 loc) · 1.9 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
46
47
48
49
50
51
52
53
language: julia
os:
- linux
- osx
- windows
julia:
- 1.0
- 1.1
- 1.2
- 1.3
- 1.4
- 1.5
- nightly
notifications:
email: false
matrix:
allow_failures:
- julia: nightly
- julia: 1.0
- julia: 1.1
before_install:
# Install TeX and Qt5 to build plots for documentation
# - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew update; fi
# - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew install qt5; fi
# - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then brew cask install basictex; fi
# - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo add-apt-repository --yes ppa:ubuntu-sdk-team/ppa; fi
# - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get update -qq; fi
# - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -qq x11-apps libxt6 libxrender1 libxext6 libgl1-mesa-glx qtbase5-dev qtdeclarative5-dev; fi
# - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then sudo apt-get install -y --no-install-recommends texlive-fonts-recommended texlive-latex-extra texlive-fonts-extra dvipng texlive-latex-recommended; fi
# - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then export GKSwstype=svg; fi
script:
- julia --project --check-bounds=yes -e 'import Pkg; Pkg.build(); Pkg.test("NeuralVerification"; coverage=true)'
# After successful build submit coverage report and deploy updated documentation
# But limit deployment to the linux worker so this is done only once.
after_success:
# Install required packages for coverage and documentation
- julia --project -e 'import Pkg; Pkg.add("Coverage");'
- julia --project -e 'import Pkg; Pkg.add("Documenter"); Pkg.add("DocumenterTools");'
# - julia --project -e 'import Pkg; Pkg.add("Plots");'
# - julia --project -e 'import Pkg; Pkg.add("LaTeXStrings")'
# Submit test coverage report
- julia --project -e 'using Coverage; Coveralls.submit(Coveralls.process_folder())'
# Build and deploy documentation
- julia --project ./docs/make.jl