File tree Expand file tree Collapse file tree 2 files changed +21
-14
lines changed Expand file tree Collapse file tree 2 files changed +21
-14
lines changed Original file line number Diff line number Diff line change
1
+ name : " GitHub Pages"
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - master
7
+
8
+ jobs :
9
+ pages :
10
+ runs-on : ubuntu-18.04
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+ - name : Generate code coverage
14
+ run : |
15
+ RUSTDOCFLAGS="--html-in-header katex-header.html" cargo doc --no-deps
16
+ mv target/doc public
17
+ - name : Deploy GitHub Pages
18
+ uses : peaceiris/actions-gh-pages@v3
19
+ with :
20
+ github_token : ${{ secrets.GITHUB_TOKEN }}
21
+ publish_dir : ./public
Original file line number Diff line number Diff line change 36
36
cargo tarpaulin --verbose --features=intel-mkl --out Xml --manifest-path=ndarray-linalg/Cargo.toml
37
37
- name : Upload to codecov.io
38
38
uses : codecov/codecov-action@v1
39
-
40
- doc :
41
- runs-on : ubuntu-18.04
42
- steps :
43
- - uses : actions/checkout@v2
44
- - name : Generate code coverage
45
- run : |
46
- RUSTDOCFLAGS="--html-in-header katex-header.html" cargo doc --no-deps
47
- mv target/doc public
48
- - name : Deploy GitHub Pages
49
- uses : peaceiris/actions-gh-pages@v3
50
- with :
51
- github_token : ${{ secrets.GITHUB_TOKEN }}
52
- publish_dir : ./public
You can’t perform that action at this time.
0 commit comments