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 3636 cargo tarpaulin --verbose --features=intel-mkl --out Xml --manifest-path=ndarray-linalg/Cargo.toml
3737 - name : Upload to codecov.io
3838 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