File tree Expand file tree Collapse file tree 1 file changed +34
-0
lines changed Expand file tree Collapse file tree 1 file changed +34
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Documentation
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - main
7
+ tags :
8
+ - v*
9
+ pull_request :
10
+ workflow_dispatch :
11
+
12
+ env :
13
+ JULIA_PKG_SERVER : https://internal.juliahub.com/
14
+
15
+ jobs :
16
+ build :
17
+ runs-on : self-hosted
18
+ steps :
19
+ - uses : actions/checkout@v2
20
+ - uses : julia-actions/setup-julia@latest
21
+ with :
22
+ version : ' 1'
23
+ - uses : PumasAI/add-private-registry@main
24
+ with :
25
+ juliahub_token_encoded : ${{ secrets.JULIAHUB_TOKEN_ENCODED }}
26
+ private_registry_name : JuliaSimRegistry
27
+ private_registry_uuid : 309a7822-a73e-4490-9504-7d1983f27685
28
+ - name : Install dependencies
29
+ run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.add(name="Documenter", rev="master"); Pkg.instantiate()'
30
+ - name : Build and deploy
31
+ env :
32
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
33
+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
34
+ run : julia --project=docs/ docs/make.jl
You can’t perform that action at this time.
0 commit comments