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 11language : julia
22julia :
33 - 0.7
4+ - 1.0
45 - nightly
56sudo : required
67dist : trusty
8+ env :
9+ global :
10+ - PYTHON=python
711before_install :
812 - sudo apt-add-repository -y "deb http://packages.ros.org/ros/ubuntu trusty main"
913 - wget https://raw.githubusercontent.com/ros/rosdistro/master/ros.key -O - | sudo apt-key add -
@@ -19,10 +23,18 @@ before_script:
1923 - python test/echonode.py &
2024 - sleep 5
2125after_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())'
2527after_script :
2628 - killall roscore
2729 - killall python
2830 - 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(
1111 branch = " gh-pages" ,
1212 latest = " master" ,
1313 osname= " linux" ,
14- julia= " 0.6 " ,
14+ julia= " 1.0 " ,
1515 deps= Deps. pip (" mkdocs" ),
1616 )
You can’t perform that action at this time.
0 commit comments