File tree Expand file tree Collapse file tree 5 files changed +16
-93
lines changed Expand file tree Collapse file tree 5 files changed +16
-93
lines changed Original file line number Diff line number Diff line change 1+ style = " blue"
2+ format_markdown = true
Original file line number Diff line number Diff line change @@ -18,21 +18,11 @@ concurrency:
1818permissions :
1919 contents : write
2020 pull-requests : read
21- statuses : write
2221
2322jobs :
2423 docs :
2524 runs-on : ubuntu-latest
25+
2626 steps :
27- - uses : actions/checkout@v2
28- - uses : julia-actions/setup-julia@latest
29- with :
30- version : ' 1'
31- - name : Install dependencies
32- run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
33- - name : Build and deploy
34- env :
35- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
36- DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
37- JULIA_DEBUG : Documenter # Print `@debug` statements (https://github.com/JuliaDocs/Documenter.jl/issues/955)
38- run : julia --project=docs/ docs/make.jl
27+ - name : Build and deploy Documenter.jl docs
28+ uses : TuringLang/DocsNav/DocsDocumenter@v2
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -3,11 +3,9 @@ name: Format
33on :
44 push :
55 branches :
6- # This is where pull requests from "bors r+" are built.
7- - staging
8- # This is where pull requests from "bors try" are built.
9- - trying
10- # Build the main branch.
6+ - main
7+ pull_request :
8+ branches :
119 - main
1210
1311concurrency :
@@ -19,20 +17,7 @@ concurrency:
1917jobs :
2018 format :
2119 runs-on : ubuntu-latest
20+
2221 steps :
23- - uses : actions/checkout@v2
24- - uses : julia-actions/setup-julia@latest
25- with :
26- version : 1
2722 - name : Format code
28- run : |
29- using Pkg
30- Pkg.add(; name="JuliaFormatter", uuid="98e50ef6-434e-11e9-1051-2b60c6c9e899")
31- using JuliaFormatter
32- format("."; verbose=true)
33- shell : julia --color=yes {0}
34- - uses : reviewdog/action-suggester@v1
35- if : github.event_name == 'pull_request'
36- with :
37- tool_name : JuliaFormatter
38- fail_on_error : true
23+ uses : TuringLang/actions/Format@v2
Original file line number Diff line number Diff line change @@ -2,17 +2,12 @@ using Documenter
22using AbstractPPL
33
44# Doctest setup
5- DocMeta. setdocmeta! (AbstractPPL, :DocTestSetup , :(using AbstractPPL); recursive= true )
5+ DocMeta. setdocmeta! (AbstractPPL, :DocTestSetup , :(using AbstractPPL); recursive = true )
66
77makedocs (;
8- sitename= " AbstractPPL" ,
9- modules= [AbstractPPL],
10- pages= [
11- " Home" => " index.md" ,
12- " API" => " api.md" ,
13- ],
14- checkdocs= :exports ,
15- doctest= false ,
8+ sitename = " AbstractPPL" ,
9+ modules = [AbstractPPL],
10+ pages = [" Home" => " index.md" , " API" => " api.md" ],
11+ checkdocs = :exports ,
12+ doctest = false ,
1613)
17-
18- deploydocs (; repo= " github.com/TuringLang/AbstractPPL.jl.git" , push_preview= true )
You can’t perform that action at this time.
0 commit comments