File tree Expand file tree Collapse file tree 2 files changed +41
-16
lines changed Expand file tree Collapse file tree 2 files changed +41
-16
lines changed Original file line number Diff line number Diff line change
1
+ name : Documentation
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - source
7
+ - ' release-'
8
+ tags : ' *'
9
+ pull_request :
10
+ branches :
11
+ - source
12
+
13
+ jobs :
14
+ build :
15
+ runs-on : ${{ matrix.os }}
16
+ strategy :
17
+ matrix :
18
+ julia-version : [1]
19
+ os : [ubuntu-latest]
20
+ steps :
21
+ - uses : actions/checkout@v2
22
+ - uses : julia-actions/setup-julia@latest
23
+ with :
24
+ version : ${{ matrix.julia-version }}
25
+ - name : Cache artifacts
26
+ uses : actions/cache@v1
27
+ env :
28
+ cache-name : cache-artifacts
29
+ with :
30
+ path : ~/.julia/artifacts
31
+ key : ${{ runner.os }}-test-${{ env.cache-name }}-${{ hashFiles('**/Project.toml') }}
32
+ restore-keys : |
33
+ ${{ runner.os }}-test-${{ env.cache-name }}-
34
+ ${{ runner.os }}-test-
35
+ ${{ runner.os }}-
36
+ - name : Install dependencies
37
+ run : julia --project=. -e 'using Pkg; Pkg.instantiate()'
38
+ - name : Build and deploy
39
+ env :
40
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
41
+ run : julia --project=. docs/make.jl
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments