File tree Expand file tree Collapse file tree 3 files changed +21
-4
lines changed Expand file tree Collapse file tree 3 files changed +21
-4
lines changed Original file line number Diff line number Diff line change 1
1
language : julia
2
2
julia :
3
3
- 0.7
4
+ - 1.0
4
5
- nightly
5
6
sudo : required
6
7
dist : trusty
8
+ env :
9
+ global :
10
+ - PYTHON=python
7
11
before_install :
8
12
- sudo apt-add-repository -y "deb http://packages.ros.org/ros/ubuntu trusty main"
9
13
- wget https://raw.githubusercontent.com/ros/rosdistro/master/ros.key -O - | sudo apt-key add -
@@ -19,10 +23,18 @@ before_script:
19
23
- python test/echonode.py &
20
24
- sleep 5
21
25
after_success :
22
- - julia -e 'cd(Pkg.dir("RobotOS")); Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
23
- - julia -e 'Pkg.add("Documenter");'
24
- - julia -e 'cd(Pkg.dir("RobotOS")); ENV["DOCUMENTER_DEBUG"]="true"; include(joinpath("docs", "make.jl"))'
26
+ - julia --project -e 'import Pkg; Pkg.add("Coverage"); using Coverage; Coveralls.submit(Coveralls.process_folder())'
25
27
after_script :
26
28
- killall roscore
27
29
- killall python
28
30
- sleep 5
31
+ jobs :
32
+ include :
33
+ - stage : " Documentation"
34
+ julia : 1.0
35
+ os : linux
36
+ script :
37
+ - julia --project=docs/ -e 'using Pkg; Pkg.instantiate();
38
+ Pkg.add(PackageSpec(path=pwd()))'
39
+ - julia --project=docs/ docs/make.jl
40
+ after_success : skip
Original file line number Diff line number Diff line change
1
+ [deps ]
2
+ Documenter = " e30172f5-a6a5-5a46-863b-614d45cd2de4"
3
+
4
+ [compat ]
5
+ Documenter = " ~0.19"
Original file line number Diff line number Diff line change @@ -11,6 +11,6 @@ deploydocs(
11
11
branch = " gh-pages" ,
12
12
latest = " master" ,
13
13
osname= " linux" ,
14
- julia= " 0.6 " ,
14
+ julia= " 1.0 " ,
15
15
deps= Deps. pip (" mkdocs" ),
16
16
)
You can’t perform that action at this time.
0 commit comments